git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
b1419b2
help
sign in
Idris-dev
/
src
/
Idris
9 files
../
AbsSyntax.hs
import statement
15 years ago
Delaborate.hs
Fixed pattern matching and delaborator bug
15 years ago
ElabDecls.hs
import statement
15 years ago
Error.hs
Tinkering with error reporting
15 years ago
Imports.hs
import statement
15 years ago
Parser.hs
Allow whitespace before program text
15 years ago
Primitives.hs
Add ElabInfo to pass through elaborator
15 years ago
REPL.hs
Fixed pattern matching and delaborator bug
15 years ago
REPLParser.hs
Added using blocks
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