Nice. Your github repository on lambda calculus looks quite comprehensive. If you add detailed notes on each of the items, you could easily turn it into a book titled, "Type Theories using Lambda Calculus with Implementations in Haskell" ;-)