nlambda

There are 2 repositories under nlambda topic.

  • 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.

    Language:Haskell12285

  • Jaxan/nominal-lstar

    Code for "Learning nominal automata"

    Language:Haskell11511