practice math and programming practice SKICombinator.hs A functional implementation of Haskell Curry and Moses Schönfinkel's SKI combinator calculus SKITypeLevel.hs A type-level implementation of Haskell Curry and Moses Schönfinkel's SKI combinator calculus