7 ms·
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 ht
by solomonb 3mo ago
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 https://github.com/solomon-b/lambda-calculus-hs