git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
385dcbf
help
sign in
history of
test/primitives002/run
all commits
8ea8a38
Set "--port none" in tests
Echo Nolan
10 years ago
6db256a
Fix formatting of some tests
gpyh
10 years ago
0ed71c9
Fix primitives002
Edwin Brady
11 years ago
073d5ef
Fix primitives002 to do what it's supposed to
Melvar Chen
11 years ago
6359721
Add test for new float primitive prim__negFloat
Markus Pfeiffer
12 years ago
86bf04c
Truncate results in primitives002 test
Edwin Brady
12 years ago
1d2fc7f
Categorise tests
Edwin Brady
13 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