git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
796fa25
help
sign in
Idris-dev
/
src
/
Idris
10 files
../
AbsSyntax.hs
Propagate line numbers through applications and variables
15 years ago
Compiler.hs
Added lifting of unsolved metavariables to global functions
15 years ago
Delaborate.hs
Propagate line numbers through applications and variables
15 years ago
ElabDecls.hs
Propagate line numbers through applications and variables
15 years ago
Error.hs
Some effort at reporting line numbers of errors (top level of decl only)
15 years ago
Imports.hs
import statement
15 years ago
Parser.hs
Banner
15 years ago
Primitives.hs
Some effort at reporting line numbers of errors (top level of decl only)
15 years ago
REPL.hs
Banner
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