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
140d06ab0a
Idris-dev/test/meta003
History
David Raymond Christiansen ab63941a04 Added top-level %runElab support 
Now, %runElab also works in a declaration context, eliminating the need
for a useless definition of type () when running for side effects.
2015-08-21 15:10:43 -07:00
..
BadDef.idr Added top-level %runElab support 2015-08-21 15:10:43 -07:00
expected Added top-level %runElab support 2015-08-21 15:10:43 -07:00
run Type check definitions added during Elab reflection 2015-06-04 11:09:09 +02:00