git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
2c05448
help
sign in
Idris-dev
/
src
/
Idris
11 files
../
AbsSyntax.hs
Give invented pattern variables unique names
15 years ago
Compiler.hs
Give invented pattern variables unique names
15 years ago
Delaborate.hs
Better elaboration order; also changed instance argument syntax slightly
15 years ago
ElabDecls.hs
Add mechanism for simplification and function options
15 years ago
Error.hs
:r and :e at the REPL.
15 years ago
Imports.hs
Not really mini any more...
15 years ago
Parser.hs
Add mechanism for simplification and function options
15 years ago
Primitives.hs
Primitive conversion and showing
15 years ago
Prover.hs
Add mechanism for simplification and function options
15 years ago
REPL.hs
Add mechanism for simplification and function options
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