git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
b8a2bbf
help
sign in
Idris-dev
/
src
/
Idris
10 files
../
AbsSyntax.hs
Add :log to REPL
15 years ago
Compiler.hs
Added case analysis on types, but only when enabled with --typecase (since it breaks parametricity)
15 years ago
Delaborate.hs
Added = and refl
15 years ago
ElabDecls.hs
Added case analysis on types, but only when enabled with --typecase (since it breaks parametricity)
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
Added = and refl
15 years ago
Primitives.hs
Added = and refl
15 years ago
REPL.hs
Add :log to REPL
15 years ago
REPLParser.hs
Add :log to REPL
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