Version 1.0
·
179 commits
to master
since this release
NLambda language described in article "SMT Solving for Functional Programming over Infinite Structures".