git.iko.soy/Idris-dev
on dcdebfc help sign in
history ofmain/Main.hs
all commits
5c119daFix typo in usage messageRicky Elrod 8b20137Document -X at command lineDavid Raymond Christiansen 437a06bFix argument syntax to match what Idris actually wantsDavid Raymond Christiansen 63d2989Add --repl [package] command line optionEdwin Brady e1e7b8cCorrect usage informationMarkus Pfeiffer fdbee50Command line option improvements.Jan de Muijnck-Hughes ef32bc6Change idris.cabal so library only builds onceEdwin Brady