idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-09-11 13:36:08 +03:00
Code Issues Projects Releases Wiki Activity
fd55e629ee
Idris2/README.md
Edwin Brady 8994e54402 IDE mode ported 
I've tested this in Atom, and the vim mode also works (in both cases,
just by changing the executable to point to the right place)
2020-05-19 15:13:58 +01:00

308 B
Raw Blame History

Self-hosted Idris 2

It finally happened!

See INSTALL.md for installation instructions.

There are no guarantees: This repository might move or be renamed or deleted or anything at no notice. It will eventually turn into the real Idris 2 repository, one way or another.

Good luck :)