git.iko.soy/Idris-dev
on d676ca6 help sign in
Idris-dev/src/Idris
11 files
../ AbsSyntax.hsAdded -o option, and :exec and :t at the REPL Compiler.hsMake do notation use Monad class Delaborate.hsBetter elaboration order; also changed instance argument syntax slightly ElabDecls.hsFix previous fix ;) Error.hs:r and :e at the REPL. Imports.hsNot really mini any more... Parser.hsElaborating instance declarations Primitives.hsPrimitive conversion and showing Prover.hsType class instance resolution, and some Num overloading REPL.hsAdded -o option, and :exec and :t at the REPL REPLParser.hsAdded -o option, and :exec and :t at the REPL