Improve idris-filename-to-load to return expected pair of dir and relative path depending on idris-protocol version#634
Open
keram wants to merge 1 commit intoidris-hackers:mainfrom keram:idris-filename-to-load-v2
+71-8
