git.iko.soy/Idris-dev
on 810b5dc 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/Add function for strictly reading source Util/Add function for strictly reading source .ghci