update types for strict mode, fix a lot of type inference issues

evinism / lambda-explorer

Tutorial / REPL for the lambda calculus

https://lambdaexplorer.com/

MIT License

63 stars 9 forks source link

Closed evinism closed 4 years ago

evinism commented 4 years ago

Who knew that a year of professional typescript would make me better at typescript!