git.iko.soy/Idris-dev
on f869396 help sign in
f869396Add :addmissing REPL commandEdwin Brady 3dfae18Add a test for interactive features of REPLEdwin Brady 5b10b97Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 6bcb9c7Merge pull request #568 from LeifW/broaden_localhost_checkingEdwin Brady e55e9e6Merge pull request #566 from hannesm/cleanup-whitespaceEdwin Brady 2bb4c18Merge pull request #565 from JanBessai/KeepMavenProjectsEdwin Brady 4a63609Fix missing case in metavariable displayEdwin Brady 0548109Only bind to the localhost interface from REPL network socket.Leif Warner fa52522Broaden the check introduced in 229975d61c7e5728ba to account forLeif Warner 53ce3ccProof search now also tries recursive callsEdwin Brady dcdbcc3Proof search now tries appropriate constructorsEdwin Brady 2474e10Unbreak interactive development (oops!)Edwin Brady 5d2d5a7Failed proofsearch branch creates new metavariableEdwin Brady abf99a5Add proofsearch tactic, with :ps at the REPLEdwin Brady a2fa0facleanup whitespacesHannes Mehnert 630c8b4Adds the ability to keep around the generated maven projectJan Bessai abf46feUse make -j2 test on travisEdwin Brady 386e2a5Support :l in server to allow editing multiple filesEdwin Brady d7d31d1Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 229975dServer should only accept local connectionsEdwin Brady f98c7bfMerge pull request #564 from LeifW/golfEdwin Brady 217c3f3Merge pull request #563 from JanBessai/JavaRTSFixEdwin Brady 7c86659Remove 'catch' round serverEdwin Brady f34f0afBetter display of metavariable types in :tEdwin Brady e1dc450Pick unique names for rhs when case splittingEdwin Brady 606636bFix line number propagation in 'case' elaborationEdwin Brady dd872e6Change vim bindings to use <LocalLeader>Edwin Brady 6b1ed5aAdd vim shortcut for evaluationEdwin Brady 6456d6fAdd :makewith command at the REPLEdwin Brady 46256abAdd ':addclause' command at the REPLEdwin Brady 328dfe6Report errors if :r fails in case split scriptEdwin Brady 86c9decMake reloading 'quiet' in --client modeEdwin Brady 732d794Golf down some Maybe / Monad stuff.Leif Warner a597154Add vim script to contribs/ for case splitEdwin Brady d20f35cAdd --client optionEdwin Brady bba09bdAdd replaceSplits to generate new definitionEdwin Brady 7c7bf28Support PTerm serialisation properlyEdwin Brady 0f926d7Update CHANGELOGEdwin Brady 66f4f9eExtend split/splitOnLine to cope with 'where/with'Edwin Brady 8c19e30Record internal name of 'with' functionsEdwin Brady 232fe96First implementation of :cs (case split) REPL commandEdwin Brady 068f3d4Reenable Java tests in TravisJan Bessai 467bb68Java RTS Version bump to include isNull, Maven POM gets installed correctlyJan Bessai 3729d95Add CaseSplit.hs and Command (not yet implemented)Edwin Brady cc780b4Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady b83793eMerge pull request #561 from david-christiansen/issue/560Edwin Brady 9e5c96fAdd error object for failure to load fileDavid Christiansen 3ec0158Add exception handler to mainDavid Christiansen 66cc7f9Bring CHANGELOG up to dateEdwin Brady c261501Merge pull request #558 from ahmadsalim/feature/notypesaskeywordsEdwin Brady