Open alex-ilin opened 5 years ago
It the ~/.idris path doesn't exist, idris-mode complaints that it can't save the idris-history.eld on exit. Why can't it just create the path for itself?
+1, i just saw this also.
It the ~/.idris path doesn't exist, idris-mode complaints that it can't save the idris-history.eld on exit. Why can't it just create the path for itself?