ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-13 07:26:59 +03:00
Code Issues Projects Releases Wiki Activity
6fe15ea096
Idris-dev/test/totality005
History
David Raymond Christiansen 0cdef7fc1f Update for totality warnings 
Now, totality discrepancies prevent compilation. Add partial annotations
to totality005 to make it compile.
2014-05-06 19:50:32 +02:00
..
expected Update for totality warnings 2014-05-06 19:50:32 +02:00
run Finish guardedness check 2014-03-23 15:07:17 +00:00
totality005.idr Update for totality warnings 2014-05-06 19:50:32 +02:00