git.iko.soy/Idris-dev
on e579cee help sign in
Idris-dev/src
4 folders, 1 file
../ IRTS/javascript: quick & dirty compile time error on invalid FFI Idris/Remember to save deferred definition types in IBC 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.