git.iko.soy/Idris-dev
on d34b7fc help sign in
d34b7fcMerge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen 93b1c81Merge pull request #1023 from jedesah/vect_splitAtEdwin Brady 095e3fcMerge pull request #998 from jedesah/substract_finEdwin Brady b8c67d5Merge pull request #1022 from jfdm/documentation-effects-fileEdwin Brady 06e2b1dEfficiency of coverage checkEdwin Brady 4e0bdc8Allow resolving metavariables from ibcsEdwin Brady 20e0bf4Merged with masterPhilip Rasmussen 0939fb5Progress: IdrisDoc is now able to generate output to the necessary files. Actual structured content is TODOPhilip Rasmussen 3820110Ensure modules are loaded independentlyEdwin Brady 2f58e16Add splitAt to VectJean-Remi Desjardins ad399b0Added documentation for the effectful file operations.Jan de Muijnck-Hughes 53a5014Merge pull request #1018 from david-christiansen/ideslave-execEdwin Brady 9cdfa26Fix parsing of $Edwin Brady fb6a0edCoverage checker fixEdwin Brady 86f68b5Fix compile errorEdwin Brady f675e05Add CodegenInfo structure, give CGs uniform typesEdwin Brady 4ffc9b3Return the name of the temp file from :exec in IDESLaveDavid Raymond Christiansen 7d09d05Merge pull request #1016 from SimonJF/rts-deadlock-fixEdwin Brady a93acd6Merge pull request #1014 from david-christiansen/doc-type-ideslaveEdwin Brady 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 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 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