git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
aeb032a
help
sign in
Idris-dev
/
test
/
primitives003
/
expected
27 lines
150 B
history
raw
1
True
2
False
3
True
4
False
5
True
6
False
7
True
8
False
9
True
10
False
11
False
12
True
13
False
14
True
15
True
16
False
17
True
18
False
19
False
20
True
21
False
22
False
23
False
24
True
25
False
26
True
27
False
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