git.iko.soy/Idris-dev
on c79fb21 help sign in
history ofmain/Main.hs
all commits
e2a34a8Add --testpkg option + tests section in IPKG filesDavid Raymond Christiansen 9be5866started working on new cmd arg parserklrr 07a002fInserted a newline which seamed to be missing.Philip Rasmussen 4155853--link and --include give flags, not directoriesBrian McKenna 5bd1695Add -e EXPR to evaluate expressions w/out REPLDavid Raymond Christiansen dd44389Merged with masterPhilip Rasmussen 4957a33Make --nowarnreach the default (for now).Matus Tejiscak bfd9900Add --nowarnreach.Matus Tejiscak d4abcb8Added IdrisDoc hooks from the command line.Philip Rasmussen 77eca9cChanged IdrisDoc interface, updated command descriptions.Philip Rasmussen 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