git.iko.soy/Idris-dev
on d815ecc help sign in
Idris-dev/src
4 folders, 1 file
../ IRTS/javascript: quick & dirty compile time error on invalid FFI Idris/Prepared data structure of FC for spanning, and added the span of the last token parsed to Idris Pkg/Prepared data structure of FC for spanning, and added the span of the last token parsed to Idris Util/Fix compilation on Windows .ghciAdded .ghci specifying language extensions.