Open mariari opened 4 years ago
At the moment there are still some unfinished work regarding the lisp script.
[x] make the file handler handle foo.hs and foo.agda in the same folder
foo.hs
foo.agda
[ ] make it so overlapping module names don't cause a subtle bug when looking for imports
At the moment there are still some unfinished work regarding the lisp script.
[x] make the file handler handle
foo.hs
andfoo.agda
in the same folder[ ] make it so overlapping module names don't cause a subtle bug when looking for imports