idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-26 05:01:34 +03:00
Code Issues Projects Releases Wiki Activity
3a6614b227
Idris2/tests/ideMode
History
Edwin Brady 6a53e0177c Reorganise prelude into multiple files 
This is partly to tidy things up, but also a good test for 'import as'.
Requires some internal changes since there are parts of reflection,
unelaboration and a compiler hack that rely on where things are in the
Prelude.
2020-07-12 16:55:48 +01:00
..
ideMode001 Reorganise prelude into multiple files 2020-07-12 16:55:48 +01:00
ideMode002 Add test script 2020-05-19 18:25:18 +01:00
ideMode003 Reorganise prelude into multiple files 2020-07-12 16:55:48 +01:00