git.iko.soy/Idris-dev
on 7afa310 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.idrRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up boardAdd test board and wire up quasigroup solver to benchmark tools qgsolve.ipkgAdd test board and wire up quasigroup solver to benchmark tools