Giters
azardilis
/
Chromar
Implementation of Chromar in Haskell
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1
Watchers:
3
Issues:
16
Forks:
1
azardilis/Chromar Issues
The model test-suite imports ColouredPetriNets.
Closed
3 years ago
Comments count
3
Test suites germ, plant and market use Observable.
Updated
3 years ago
Comments count
2
Link to papers.
Closed
3 years ago
Comments count
1
Move to chromar-lang.
Updated
4 years ago
Add author and maintainer.
Updated
4 years ago
Add a license.
Updated
4 years ago
Add an hlint test-suite.
Closed
4 years ago
The gdiff test-suite doesn't compile.
Updated
4 years ago
REPL module imports.
Closed
4 years ago
Publish to stackage.
Updated
4 years ago
Publish to hackage.
Updated
4 years ago
Add haddocks.
Updated
4 years ago
Type mismatch in repl example of readme.
Closed
4 years ago
Comments count
3
Custom Show instance for Rxn.
Closed
4 years ago
Build with recent versions of GHC.
Closed
4 years ago
Add stack lock file.
Closed
4 years ago
Comments count
1