ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-10-26 09:54:23 +03:00
Code Issues Projects Releases Wiki Activity
master
Idris-dev/benchmarks/trivial
History
Echo Nolan 938e8611e0 Fix deprecation warnings in benchmarks 
Most of this is from purification, two are switching from the
%assert_total directive to the assert_total function.
2016-08-31 21:41:11 -07:00
..
sortvec.idr Fix deprecation warnings in benchmarks 2016-08-31 21:41:11 -07:00
sortvec.ipkg Added simple benchmark system 2013-11-05 22:45:16 +00:00