edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-08-17 03:40:33 +03:00
Code Issues Projects Releases Wiki Activity
master
Idris2-boot/tests/ideMode
History
Edwin Brady a130952928 Switch buffers back to scheme FFI 
It's just easier to deal with the memory management! But we should do
something more flexible here later.
2020-05-17 22:49:41 +01:00
..
ideMode001 Switch buffers back to scheme FFI 2020-05-17 22:49:41 +01:00
ideMode002 first stab at syntax highlightin in Emacs 2020-02-29 13:47:27 +01:00
ideMode003 Switch buffers back to scheme FFI 2020-05-17 22:49:41 +01:00