git.iko.soy/Idris-dev
on df4ee4f help sign in
Idris-dev/src/Idris
11 files
../ AbsSyntax.hsBetter elaboration order; also changed instance argument syntax slightly Compiler.hsLaziness annotations Delaborate.hsBetter elaboration order; also changed instance argument syntax slightly ElabDecls.hsBetter elaboration order; also changed instance argument syntax slightly Error.hs:r and :e at the REPL. Imports.hsimport statement Parser.hsBetter elaboration order; also changed instance argument syntax slightly Primitives.hsPrimitive conversion and showing Prover.hsType class instance resolution, and some Num overloading REPL.hsPatternGuards REPLParser.hs:r and :e at the REPL.