git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
385dcbf
help
sign in
history of
stylize.sh
all commits
05ccaf3
Abort if stylish-haskell is missing.
Chris Ford
10 years ago
aee28ad
Fix interpreter paths for NixOS by using /usr/bin/env
Soham Chowdhury
10 years ago
9e69858
Fixed unstylized things in Idris and stylize.sh script
Ahmad Salim Al-Sibahi
10 years ago
fd26c0b
Use system GHC in stack
Ahmad Salim Al-Sibahi
10 years ago
146f3ba
Made stack and GHC versions flexible
Ahmad Salim Al-Sibahi
10 years ago
0fec73c
Fix typo, make stylize.sh work when a dist directory exists
Echo Nolan
10 years ago
f8e3df0
Rename check-stylish.sh and make it a bit more user friendly.
Echo Nolan
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