GitHub repository: szynwelski/nlambda
Primary language: Haskell
Created: 2016-10-07T08:26:43Z
Description: Nλ is a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countably infinite clique graph or the set of all intervals with rational endpoints.