search

evinism / lambda-explorer

Tutorial / REPL for the lambda calculus
https://lambdaexplorer.com/
MIT License
63 stars 9 forks source link

Types #52

Closed evinism closed 7 years ago

evinism commented 7 years ago

did as much in-code annotation as i felt comfortable, any more started pushing the limits of what typescript could infer. Maybe something not so brutal with types could be done better with typescript.