git.iko.soy/Idris-dev
on e8a41dc help sign in
Idris-dev/benchmarks/quasigroups
5 files
../ Main.idrFix quasigroups compile time issues Parser.idrFix quasigroups compile time issues Solver.idrFix quasigroups compile time issues boardAdd test board and wire up quasigroup solver to benchmark tools qgsolve.ipkgAdd test board and wire up quasigroup solver to benchmark tools