ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-10-26 18:02:24 +03:00
Code Issues Projects Releases Wiki Activity
a02fcf4904
Idris-dev/main
History
Steven Shaw a02fcf4904 Fix misleading comment about IDE Mode server. 
The IDE Mode server and REPL server are different things.
2016-09-15 12:57:24 +10:00
..
Main.hs Fix misleading comment about IDE Mode server. 2016-09-15 12:57:24 +10:00