git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
03d7d5e
help
sign in
Idris-dev
/
src
/
Idris
11 files
../
AbsSyntax.hs
Exists naming
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
Allow type labels on lambdas
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
:t for names as well as terms
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