git.iko.soy
/
type-fun
readme
files
commits
refs
on
ccddf7e
help
sign in
type-fun
/
src
/
TypeFun
/
Data
4 files
../
Eq.hs
explicit exports
11 years ago
List.hs
Bump version to 0.1.0 and update changelog
11 years ago
Maybe.hs
explicit exports
11 years ago
Peano.hs
explicit exports
11 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