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