git.iko.soy/Idris-dev
on 0aca520 help sign in
0aca520Increment IBC versionTimo Petteri Sinnemäki d5162a0Removed obsolete leftover comment.Timo Petteri Sinnemäki e672357'Reject' cases to default arg substitution tests.Timo Petteri Sinnemäki 4624be2Merge branch 'master' of github.com:edwinb/Idris-dev into default-arg-substTimo Petteri Sinnemäki 9a25dfaTests on default args and substitutionTimo Petteri Sinnemäki d53dc76Merge pull request #1028 from raichoo/javascriptEdwin Brady bfc3c3eMerge branch 'master' of github.com:edwinb/Idris-dev into default-arg-substTimo Petteri Sinnemäki 60ac04eA go at passing constructor name info to elabConsTimo Petteri Sinnemäki dd51570Revert typeclass changes.Timo Petteri Sinnemäki 727442cWIP on def arg sub in typeclass methods.Timo Petteri Sinnemäki e8ea34bMoved pinfo back into the where blockTimo Petteri Sinnemäki 126fbbcjavascript: collapse noop conditionalsraichoo e90d88aYet more comment cleanupTimo Petteri Sinnemäki 8fcaa82Another wee comment adjustmentTimo Petteri Sinnemäki 751a6eeComment cleanup.Timo Petteri Sinnemäki c78fb14Fixed errors; partially complete default arg subsTimo Petteri Sinnemäki 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 d3eb486First attempt now at substitution to default argsTimo Petteri Sinnemäki 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 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 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