/nominal-lstar

Code for "Learning nominal automata"

Primary LanguageHaskell

Stargazers