git.iko.soy/Idris-dev
on ad057db help sign in
ad057dbMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 22d4f7eMerge pull request #1046 from david-christiansen/metavar-ideslaveEdwin Brady c074709Merge pull request #1040 from david-christiansen/issue/1019Edwin Brady 4e7a0eeMerge pull request #1039 from david-christiansen/issue/1029Edwin Brady 822328bMerge pull request #1038 from david-christiansen/typed-lazy-executorEdwin Brady dcdebfcMerge pull request #1037 from paulkoerbitz/fix-control-module-namesEdwin Brady 6857d73Merge pull request #1035 from puffnfresh/bug/parser-nocolourEdwin Brady a96684aMerge pull request #1031 from tpsinnem/default-arg-substEdwin Brady 8374804Update CHANGELOG for metavars in IDESlaveDavid Raymond Christiansen e3cfa93Add command to IDESlave for metavarsDavid Raymond Christiansen 650b699Dummy commit to rerun a timeouted Travis buildTimo Petteri Sinnemäki 0aca520Increment IBC versionTimo Petteri Sinnemäki 5f3627cShow terms more prettilyDavid Raymond Christiansen 860cdc0Show type class parameters in :iDavid Raymond Christiansen f6b036cProperly show superclass constraints in :iDavid Raymond Christiansen f927e7fUse pretty-printer for :i commandDavid Raymond Christiansen 3d59246Normalise thunk contents when returning from executorDavid Raymond Christiansen ce414b8Regression test for infinite regress in executorDavid Raymond Christiansen d5162a0Removed obsolete leftover comment.Timo Petteri Sinnemäki 6aeacd8Make parsing respect the nocolour flagBrian McKenna f2cf4d8Change 'module Prelude.Catchable to 'module Control.Catchable'Paul Koerbitz d00015bChange 'module Category.Arrow' to 'module Control.Arrow'Paul Koerbitz 25c1352Support for typed laziness in executorDavid Raymond Christiansen 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 e707475Remove oldeffects from buildEdwin Brady 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