git.iko.soy/Idris-dev
on e8596bc help sign in
Idris-dev/src
3 folders, 1 file
../ IRTS/Also fixed issue where require-ing filenames with periods would end up unintentally having property access syntax Idris/Fix error when error reflection fails Util/Add function for strictly reading source .ghci