Haskell Beta Reduction and capture-avoiding substitution algorithms
Budget: €8 – €30 EUR
As simple as possible.
- Implement a beta reduction algorithm
- Implement a capture-avoiding substitution algorithm
- Implement a beta reduction algorithm
- Implement a capture-avoiding substitution algorithm