git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
01ceead
help
sign in
Idris-dev
/
src
/
Idris
11 files
../
AbsSyntax.hs
Names
15 years ago
Compiler.hs
Better representation of names
15 years ago
Delaborate.hs
Better representation of names
15 years ago
ElabDecls.hs
Allow type labels on lambdas
15 years ago
Error.hs
:r and :e at the REPL.
15 years ago
Imports.hs
Added log/exp (and lib/link directives)
15 years ago
Parser.hs
Names
15 years ago
Primitives.hs
Better representation of names
15 years ago
Prover.hs
Add mechanism for simplification and function options
15 years ago
REPL.hs
Names
15 years ago
REPLParser.hs
Add mechanism for simplification and function options
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