git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
6bef4f9
help
sign in
Idris-dev
/
src
/
Idris
12 files
../
AbsSyntax.hs
Namespaces
15 years ago
Compiler.hs
Collect cumulativity constraints on universes
15 years ago
Delaborate.hs
Namespaces
15 years ago
ElabDecls.hs
Namespaces
15 years ago
ElabTerm.hs
Namespaces
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
Overloading lists and syntactic sugar
15 years ago
Primitives.hs
Separate elaboration of declarations and terms
15 years ago
Prover.hs
Changed lookup to return a list (preparation for namespaces)
15 years ago
REPL.hs
Changed lookup to return a list (preparation for namespaces)
15 years ago
REPLParser.hs
Collect cumulativity constraints on universes
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