Lambda calculus - Githubissues

ngsankha / eecs662

EECS 662: Programming Languages

https://sankhs.com/eecs662/

MIT License

0 stars 0 forks source link

Open ngsankha opened 5 months ago

ngsankha commented 5 months ago

Add an example of call-by-name to the notes and how it can be implemented in our interpreter.
Add an example of encoding numbers in lambda calculus