git.iko.soy/Idris-dev
on b2fb9d0 help sign in
Idris-dev/benchmarks/quasigroups
5 files
../ Main.idrRearrangement in preparation for use as benchmark Parser.idrFinished making standard library naming consistent Solver.idrFinished making standard library naming consistent boardAdd test board and wire up quasigroup solver to benchmark tools qgsolve.ipkgAdd test board and wire up quasigroup solver to benchmark tools