szynwelski/nlambda

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.

语言：Haskell · GitHub 星标：12 · Fork：4

话题：functional-programming · infinite-data-structure · nlambda · nominal-set · programming-language · smt-solver

在 GitHub 上查看原仓库