git.iko.soy/Idris-dev
on e3cfa93 help sign in
e3cfa93Add command to IDESlave for metavarsDavid Raymond Christiansen d53dc76Merge pull request #1028 from raichoo/javascriptEdwin Brady 126fbbcjavascript: collapse noop conditionalsraichoo aa39233Merge pull request #1025 from jeffersoncarpenter/masterEdwin Brady d2eaa28Update version numberv0.9.12Edwin Brady d732dedMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady b696f28Make unique name generation much quickerEdwin Brady 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 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 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 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 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 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 9c99a07Add 'covering' function optionEdwin Brady c42ab8bjavascript: skip folding002 testraichoo 70597faAdd (-) function for FinJean-Remi Desjardins 7cea995Add tests for tutorial examplesEdwin Brady