git.iko.soy/Idris-dev
on master help sign in
history of4ef6ff8..master
compare
c553f6aAsk travis to install optional dependenciesEdwin Brady defc795LLVM and FFI flags default to offEdwin Brady ee06cf1Make libffi support a cabal flagEdwin Brady b7b55b7Allow hints to be given to proof searchEdwin Brady a54b9fdAdd RWST.George Leontiev 9ca5cfaMore functions for Reader and Writer.George Leontiev b92d2a9Add ReaderT.George Leontiev 7e8466fAdd WriterT.George Leontiev b16baadLeave metavariables for unfinished proofsEdwin Brady f869396Add :addmissing REPL commandEdwin Brady c639d35Add factorial, gcd, and lcm to Nat.George Leontiev 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