git.iko.soy/Idris-dev
on 3874926 help sign in
Idris-dev/src
4 folders, 1 file
../ IRTS/Add missing case in needsBigInt in JS back end Idris/refsIn should take all the Ps Pkg/Allow :search and :apropos to search packages Util/Factor out LLVM backend .ghci