nlambda

There are 0 repository under nlambda topic.

• Jaxan / nominal-lstar

  Code for "Learning nominal automata"

  paperautomatamachine-learninghaskellnlambdaregular-languages
  Language:Haskell 11

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

  functional-programmingprogramming-languagenominal-setsmt-solverinfinite-data-structurenlambda
  Language:Haskell 11