git.iko.soy/Idris-dev
on 180e979 help sign in
Idris-dev/src/Idris
10 files
../ AbsSyntax.hsAdded builtins.idr and fixed a bug or two Compiler.hsAdded lifting of unsolved metavariables to global functions Delaborate.hsMore of the compiler ElabDecls.hsGeneric syntax declarations (see prelude.idr for example) Error.hsTinkering with error reporting Imports.hsimport statement Parser.hsAdded builtins.idr and fixed a bug or two Primitives.hsEnough Epic to compile 'hello world' (but not much else yet...) REPL.hsAdded lifting of unsolved metavariables to global functions REPLParser.hsAdded lifting of unsolved metavariables to global functions