git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
2be265d
help
sign in
history of
test/TestData.hs
all commits
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