git.iko.soy/Idris-dev
on master help sign in
history ofd9516ef..master
compare
1569aa9Merge pull request #1012 from david-christiansen/issue/949Edwin Brady 8f5e40fMerge pull request #1009 from jedesah/list_splitAtEdwin Brady aa91121Fix deadlock in RTS when using allocation in native codeSimon Fowler c87350cchanged the first sentence of the readmeJefferson Carpenter f0a5442Provide IDESlave output with docs and typeDavid Raymond Christiansen dd20facAdd semantic highlighting info for metavariablesDavid Raymond Christiansen 5401872Merge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen 7762a35Package paths may now be in other locations than current directoryPhilip Rasmussen 13d63e3Rewrote implementation so far to be much smarterPhilip Rasmussen b1028f0TacImp script handling to various functions.Timo Petteri Sinnemäki 569a30cMerge branch 'master' of github.com:edwinb/Idris-devTimo Petteri Sinnemäki 63342c7Some helper comments that'll be removed laterTimo Petteri Sinnemäki 6b3bbe7NameTrie added to create map of names for easy lookupPhilip Rasmussen 39ac157Added IdrisDoc hooks from the command line.Philip Rasmussen d4abcb8Added IdrisDoc hooks from the command line.Philip Rasmussen e21b167Tiny tidying upPhilip Rasmussen d763c9cUse postulates for decEq primitive proofsEdwin Brady 06fbec1Add name of arguments in type declaration for proper documentationJean-Remi Desjardins dfb3982Merge pull request #1006 from david-christiansen/ideslave-optsEdwin Brady 89c89d3Fix "Force" in case tree for new indexed formEdwin Brady e058452Add splitAt function for ListJean-Remi Desjardins 7800e3cChange to infix formJean-Remi Desjardins 9b1746cMerge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen 77eca9cChanged IdrisDoc interface, updated command descriptions.Philip Rasmussen 8325cedAllow getting and setting options from IDESlaveDavid Raymond Christiansen 577752bMerge pull request #1002 from david-christiansen/issue/932Edwin Brady a724531Merge pull request #1001 from david-christiansen/doc-arg-namesEdwin Brady 5a4daf5Merge pull request #999 from raichoo/javascriptEdwin Brady 268fd6fMerge pull request #1004 from gabemc/issue/1003Edwin Brady 155e306Fixed IdrisDoc errors and added REPL :help descriptionsPhilip Rasmussen d1e12d5Only show documented arguments in :docDavid Raymond Christiansen 25bbcb0Revert the trifecta change.Gabe McArthur 9607cd8Fixing the build.Gabriel McArthur ae117aaInsert U, UL, and ULL suffixes in CDavid Raymond Christiansen 04e2cd8Stop showing __pi_arg and MNs in docsDavid Raymond Christiansen 7faf4e8Show argument names in :docDavid Raymond Christiansen 877c638IdrisDoc begunPhilip Rasmussen 9c99a07Add 'covering' function optionEdwin Brady c42ab8bjavascript: skip folding002 testraichoo 70597faAdd (-) function for FinJean-Remi Desjardins 7cea995Add tests for tutorial examplesEdwin Brady 678fc86Finish guardedness checkEdwin Brady 303e100Fix reading of line/column on parse errorsEdwin Brady 5232002Make names accessible before building case splitEdwin Brady 7af5df9isFnName should look for exact namesEdwin Brady c06badbRequire content in tactic/proof blocksEdwin Brady b0720b0Change guardedness check for new-style coinductionEdwin Brady 71a968cChange reduction rules for coinductive definitionsEdwin Brady 88aa6d1Support mixed induction/coinduction with Inf typeEdwin Brady 85852c2Fix line number on invocation of :eEdwin Brady