git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
2c4ff83
help
sign in
Idris-dev
/
src
/
Idris
10 files
../
AbsSyntax.hs
Some unification/evaluation bug fixes
15 years ago
Compiler.hs
Added lifting of unsolved metavariables to global functions
15 years ago
Delaborate.hs
More of the compiler
15 years ago
ElabDecls.hs
Some unification/evaluation bug fixes
15 years ago
Error.hs
Some unification/evaluation bug fixes
15 years ago
Imports.hs
import statement
15 years ago
Parser.hs
Added builtins.idr and fixed a bug or two
15 years ago
Primitives.hs
Enough Epic to compile 'hello world' (but not much else yet...)
15 years ago
REPL.hs
Added lifting of unsolved metavariables to global functions
15 years ago
REPLParser.hs
Added lifting of unsolved metavariables to global functions
15 years ago
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list