https://github.com/jaxan/nominal-lstar

Code for "Learning nominal automata"

automata haskell machine-learning nlambda paper regular-languages

Last synced: 10 Apr 2025