git.iko.soy/Idris-dev
on 577752b help sign in
Idris-dev/src
4 folders, 1 file
../ IRTS/Insert U, UL, and ULL suffixes in C Idris/Merge pull request #1001 from david-christiansen/doc-arg-names 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.