joshua/ons-hs
1
Fork 0
mirror of https://github.com/Jaxan/ons-hs.git synced 2025-06-03 05:47:45 +02:00
Code Issues Releases Activity
ons-hs/app
History
Exact
Joshua Moerman d96342d665 More docs, cleaned up product module. Teacher now takes cmdline args
2024-11-25 11:20:35 +01:00
..
ExampleAutomata.hs Adds Permutable and stuff to do the usual nominal computations, not only ordered ones. Not (yet) efficient tough. 2024-11-06 13:39:52 +01:00
FileAutomata.hs Cleaned up project a little bit 2024-11-11 16:47:14 +01:00
FoSolver.hs Cleaned up project a little bit 2024-11-11 16:47:14 +01:00
IO.hs Cleaned up project a little bit 2024-11-11 16:47:14 +01:00
LStar.hs More docs, cleaned up product module. Teacher now takes cmdline args 2024-11-25 11:20:35 +01:00
LStarPerm.hs More docs, cleaned up product module. Teacher now takes cmdline args 2024-11-25 11:20:35 +01:00
Minimise.hs Cleaned up project a little bit 2024-11-11 16:47:14 +01:00
Teacher.hs More docs, cleaned up product module. Teacher now takes cmdline args 2024-11-25 11:20:35 +01:00