idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-28 02:23:44 +03:00
Code Issues Projects Releases Wiki Activity
c148003265
Idris2/tests/ideMode
History
Edwin Brady cf23bae7d6 In IDE mode, look for a ipkg file before loading 
This takes the responsibilty of finding the ipkg away from IDE mode,
which seems sensible given that we can do it ourselves. If there isn't
one, it'll load from the local directory as always.
2020-06-09 23:31:30 +01:00
..
ideMode001 In IDE mode, look for a ipkg file before loading 2020-06-09 23:31:30 +01:00
ideMode002 Add test script 2020-05-19 18:25:18 +01:00
ideMode003 In IDE mode, look for a ipkg file before loading 2020-06-09 23:31:30 +01:00