History / Editor Support

Edit page New page

Revisions

let us not forget about the origtinal idris-mode which is idris2 compatible.

jfdm committed Oct 31, 2022

62d8d54
Updated Editor Support (markdown)

joelberkeley committed Oct 25, 2022

3042163
Updated Editor Support (markdown)

joelberkeley committed Oct 25, 2022

0858398
Updated Editor Support (markdown)

joelberkeley committed Oct 25, 2022

4f4846f
Updated Editor support (markdown)

joelberkeley committed Sep 22, 2022

0ff858b