 22 Apr, 2018 4 commits


Hardy Jones authored
It's pretty straight forward how it works (thanks @LiamGoodacre!).

Hardy Jones authored
There's a more humanfriendly version of the untyped lambda calculus. We can start using variables, so people can write lambdas a bit easier. However, we can still desugar that to the underlying calculus. There's a bit of a problem when desugaring variables, though. If a variable isn't in the naming context, we won't have an index for it. So, we can't fully desugar it. There's almost surely a way to fix that.

Hardy Jones authored
Just a bunch of primitives that are useful in building calculi. For instance, the untyped lambda calculus can be `MuV (Abs + App + DeBruijn)`.

Hardy Jones authored
