Skip to content

GitLab

Explore

Sign in

This is an archived project. Repository and other project resources are read-only.

Joshua Moerman
ons-hs

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

Copy SSH clone URLgit@gitlab.science.ru.nl:moerman/ons-hs.git
Copy HTTPS clone URLhttps://gitlab.science.ru.nl/moerman/ons-hs.git