Language.TEval.TEvalNR
Description
Simply-typed Church-style (nominal) lambda-calculus with integers and zero-comparison Type reconstruction, for all subterms
liboleg-2009.9.1: A collection of Oleg Kiselyov's Haskell modules (2009-2008)
Language.TEval.TEvalNR
Description
Simply-typed Church-style (nominal) lambda-calculus with integers and zero-comparison Type reconstruction, for all subterms