git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
ebcb29b
help
sign in
Idris-dev
/
src
/
Idris
11 files
../
AbsSyntax.hs
Added proof script traces for pasting into program
15 years ago
Compiler.hs
Laziness annotations
15 years ago
Delaborate.hs
Beginning theorem prover interface
15 years ago
ElabDecls.hs
Added proof script traces for pasting into program
15 years ago
Error.hs
Beginning theorem prover interface
15 years ago
Imports.hs
import statement
15 years ago
Parser.hs
Added proof script traces for pasting into program
15 years ago
Primitives.hs
Added = and refl
15 years ago
Prover.hs
Added proof script traces for pasting into program
15 years ago
REPL.hs
Beginning theorem prover interface
15 years ago
REPLParser.hs
Beginning theorem prover interface
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