../ AbsSyntax.hsGeneric syntax declarations (see prelude.idr for example)15 years ago Compiler.hsAdded lifting of unsolved metavariables to global functions15 years ago Delaborate.hsMore of the compiler15 years ago ElabDecls.hsGeneric syntax declarations (see prelude.idr for example)15 years ago Error.hsTinkering with error reporting15 years ago Imports.hsimport statement15 years ago Parser.hsGeneric syntax declarations (see prelude.idr for example)15 years ago Primitives.hsEnough Epic to compile 'hello world' (but not much else yet...)15 years ago REPL.hsAdded lifting of unsolved metavariables to global functions15 years ago REPLParser.hsAdded lifting of unsolved metavariables to global functions15 years ago