git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
d689c19
help
sign in
Idris-dev
/
test
/
layout001
18 files
../
expected
Use iWarn for parse errors
9 years ago
layout001a.idr
Check the indent rule on the rhs of functions.
10 years ago
layout001b.idr
Check the indent rule on the rhs of functions.
10 years ago
layout001c.idr
Add more test cases for #729.
10 years ago
layout001d.idr
Add more test cases for #729.
10 years ago
layout001e.idr
Add more test cases for #729.
10 years ago
layout001f.idr
Add more test cases for #729.
10 years ago
layout001g.idr
Add more test cases for #729.
10 years ago
layout001h.idr
Add more test cases for #729.
10 years ago
layout001i.idr
Add more test cases for #729.
10 years ago
layout001j.idr
Add more test cases for #729.
10 years ago
layout001k.idr
Add more test cases for #729.
10 years ago
layout001l.idr
Check the indent rule on the rhs of functions.
10 years ago
layout001n.idr
Renamed test file to make globbing order portable.
10 years ago
mplus1.idr
Add more test cases for #729.
10 years ago
mplus2.idr
Add more test cases for #729.
10 years ago
mplus3.idr
Add more test cases for #729.
10 years ago
run
Set "--port none" in tests
10 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