git.iko.soy/Idris-dev
on 76ec3fe help sign in
Idris-dev/benchmarks/quasigroups
5 files
../ Main.idrAddress semantic differences in putting things to STDOUT. 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