GitHub repository: matyaskuti/LC
Primary language: Haskell
Created: 2015-07-10T20:29:52Z
Description: Simple pieces of software related to lamba-calculus, with the purpose of demonstration and to be a reference implementation for the university course "Type Sytems of Languages" at Eötvös Loránd University.