git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
history of
9b372d8..master
compare
dd7651e
Started work on Data.Monoid
Synthetica9
10 years ago
e62dcba
Fix range
Saurabh Rawat
10 years ago
c9883e6
Used So instead of =
Saurabh Rawat
10 years ago
e29c669
Added documentation, fixed formatting
Saurabh Rawat
10 years ago
13449b5
Restrict System.usleep interval
Saurabh Rawat
10 years ago
717e854
Changed ASCII to Unicode in Prelude.Chars documentation.
Kyarigwo
10 years ago
6d9659c
Merge remote-tracking branch 'origin/master' into stylish-travis
Echo Nolan
10 years ago
0fec73c
Fix typo, make stylize.sh work when a dist directory exists
Echo Nolan
10 years ago
7ac40af
Stylish changes since this PR was originally submitted
Echo Nolan
10 years ago
a6f2eb7
Make it possible to run stylish script from make
Echo Nolan
10 years ago
f8e3df0
Rename check-stylish.sh and make it a bit more user friendly.
Echo Nolan
10 years ago
aea713d
Use Stack to build stylish-haskell in CI
Echo Nolan
10 years ago
cacab43
Formatting in Idris.Parser.Expr
Echo Nolan
10 years ago
e7e9a7f
Convert tabs to spaces in stylish
Echo Nolan
10 years ago
25c94df
Stylize Travis
Echo Nolan
10 years ago
b5d05d6
Stylize Idris.Parser.Expr
Echo Nolan
10 years ago
3fc435f
Turn on some LANGUAGE pragmas to make stylish-haskell happy.
Echo Nolan
10 years ago
newer commits
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