ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-15 01:25:05 +03:00
Code Issues Projects Releases Wiki Activity

Added new tests to the test README

Browse Source
This commit is contained in:
David Christiansen 2013-04-04 16:03:21 +02:00
parent 27e3c6961c
commit c9bc3b983d
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/README
View File

@ -22,5 +22,7 @@ Tests:
020: implicit conversions
021: effects
022: dynamic C library loading and interpreter IO
023: trivial (non-I/O) type providers
024: interpreter I/O
regxxx: various regression tests