git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
dcdebfc
help
sign in
Idris-dev
/
test
/
primitives003
/
expected
29 lines
161 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
True
20
False
21
False
22
True
23
False
24
False
25
False
26
True
27
False
28
True
29
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