git.iko.soy/Idris-dev
on 7ea4422 help sign in
Idris-dev/src/Idris
10 files
../ AbsSyntax.hsdo notation (just IO at the moment - not yet overloadable) Compiler.hstinker tinker Delaborate.hsMore of the compiler ElabDecls.hsdo notation (just IO at the moment - not yet overloadable) Error.hsTinkering with error reporting Imports.hsimport statement Parser.hsdo notation (just IO at the moment - not yet overloadable) Primitives.hsEnough Epic to compile 'hello world' (but not much else yet...) REPL.hsEnough Epic to compile 'hello world' (but not much else yet...) REPLParser.hsEnough Epic to compile 'hello world' (but not much else yet...)