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