git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
5fbca2a
help
sign in
Idris-dev
/
src
/
Core
10 files
../
CaseTree.hs
First attempt at with rule
15 years ago
CoreParser.hs
Sugar for dependent pairs
15 years ago
Elaborate.hs
let bindings; fixed bug with simple lambda app
15 years ago
Evaluate.hs
Some unification/evaluation bug fixes
15 years ago
ProofShell.hs
Elaborating types and data declarations
15 years ago
ProofState.hs
let bindings; fixed bug with simple lambda app
15 years ago
ShellParser.hs
Fix bug in applying syntax rules
15 years ago
TT.hs
Fix with so that clauses are checked for matches against top level defn
15 years ago
Typecheck.hs
First attempt at with rule
15 years ago
Unify.hs
Change unification in function applications
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