lambda-calculus-hs
Messing around with my Lambda Calculus tutorial repo. I just did a total rewrite of Nominal Inductive Types. https://github.com/solomon-b/lambda-calculus-hs
Discover more builders
Builderlust is an endless, joyful scroll of real projects people are shipping right now. Get the app to keep finding your next spark of inspiration.
📱 Coming soon to iOS & AndroidOpen in the app