git.iko.soy/Idris-dev
on 7afa310 help sign in
history ofmain/Main.hs
all commits
b8bcd3dExit after running --clientEdwin Brady 4fd6bc6Allow REPL to run on another port (flag --port)Sebastian de Bellefon 971d88dAnnotate several top-level functionsMichael Maloney c6574b4Added idris-c executableEdwin Brady 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