git.iko.soy/Idris-dev
on 06fffa3 help sign in
Idris-dev/src
6 folders, 1 file
../ Core/Marginally improve unification errors IRTS/JavaScript stuff. Idris/JavaScript stuff. Pkg/Change comment rules Comments cannot begin '{-|' or '--|'. This is now reserved for documentation comments, which will be part of the syntax to support documentation at the REPL. RTS/Added binding form to syntax rules (and updated tutorial accordingly) Util/Added simple library packaging system Now used for the prelude (see lib/base.ipkg) Main.hsJavaScript stuff.