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