This project is archived. Its data is read-only. This project is read-only.

ons-hs Archived

Project information

Implementation of the ONS (Ordered Nominal Sets) library in Haskell: https://github.com/Jaxan/ons-hs

automata nominal sets dense linear...

29 Commits
1 Branch
0 Tags

README
MIT License

Created on

October 25, 2017

Loading