Language.TEval.TEvalNC
Description
Simply-typed Church-style (nominal) lambda-calculus with integers and zero-comparison Type checking
liboleg-2010.1.6: An evolving collection of Oleg Kiselyov's Haskell modules
Language.TEval.TEvalNC
Description
Simply-typed Church-style (nominal) lambda-calculus with integers and zero-comparison Type checking