git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
ba82f90
help
sign in
history of
test/TestData.hs
all commits
1c155de
Print interface constraints as a separate section
Oskar Wickström
10 years ago
b9a7352
Added test for incorrect FFI C usage.
Jan de Muijnck-Hughes
10 years ago
55e72e4
Add a test for #3397
Echo Nolan
10 years ago
9cc36e8
Make totality checker to report partial functions correctly (fix #2884)
Vitaly Bragilevsky
10 years ago
f851e54
Fix error message for unsuccessful namespace disambiguation
Bartosz Przygoda
10 years ago
e0a5a4b
Update TestData
Steven Shaw
10 years ago
4fd3bd9
Add regression002 to test suite
Steven Shaw
10 years ago
666f82e
Update TestData
Steven Shaw
10 years ago
7ccb0f9
Merge pull request #3311 from BartAdv/pkg-optional-main
Jan de Muijnck-Hughes
10 years ago
9c32ab6
Merge pull request #3282 from steshaw/bug/master/729-layout-rule
Jan de Muijnck-Hughes
10 years ago
483fd4f
Better handling of optional main in package files
Bartosz Przygoda
10 years ago
2e70b6c
Added test case for System.system (#3281)
Steven Shaw
10 years ago
e739a25
Merge pull request #3279 from steshaw/lines-unlines
Jan de Muijnck-Hughes
10 years ago
cfab5ec
Add layout001 to tasty test suite.
Steven Shaw
10 years ago
3f39e81
Rebase to master and add prelude001 to tasty test suite.
Steven Shaw
10 years ago
0a11829
Spelling only - instanciate => instantiate
Steven Shaw
10 years ago
54b94b9
Port the test infrastructure to Tasty
gpyh
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