b9781fbMake evidence witness explicit.Matus Tejiscak12 years ago f13c6adAdd test, create the DepPair typeclass.Matus Tejiscak12 years ago 4bd9c2aMerge pull request #1261 from jeffersoncarpenter/vect-foldrEdwin Brady12 years ago 51ab305Import Prelude.Pairs into Prelude.Matus Tejiscak12 years ago 5c9ffdaFix dependent pair names in reg030.Matus Tejiscak12 years ago 77ea792Remove the DependentPair typeclass.Matus Tejiscak12 years ago 9781c94Add Prelude.Pairs to the ipkg.Matus Tejiscak12 years ago e541d7eReorganise dependent pair types in Prelude.Matus Tejiscak12 years ago 00793acRemove force/lazyEdwin Brady12 years ago 6b69961Rename 'effect' to 'call'Edwin Brady12 years ago f15aaefPostpone implicit addition in case blocksEdwin Brady12 years ago 2315ddfMerge remote-tracking branch 'upstream/master' into typeSearchbmsherman12 years ago 6d6e48bMerge pull request #1258 from bmsherman/uniqueBindersEdwin Brady12 years ago ee02ae9Preliminary version of type-directed searchbmsherman12 years ago 09dec50Merge pull request #1259 from mrb/repl_warn_on_unknown_op_for_missingDavid Christiansen12 years ago b65bca2Warn on unknown operator for missing calls in REPLmrb12 years ago a2028e1Modified uniqueBinders function to prevent overlapping binders.bmsherman12 years ago d10c1e9Can't assume explicit names in updateSolvedEdwin Brady12 years ago 45c8ecaAvoid hole bindings in unification solutionsEdwin Brady12 years ago 43d33b3Added foldr1 method to Vect.idrJefferson Carpenter12 years ago 4c85c25Merge pull request #1256 from david-christiansen/error-reflectionDavid Christiansen12 years ago 019c98aFix missing function call from 723d972b2David Raymond Christiansen12 years ago 471e8c8Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago e7a35e9Remove implicit qualifier for 'effect'Edwin Brady12 years ago 258244dMerge pull request #1255 from david-christiansen/error-reflectionDavid Christiansen12 years ago 723d972Fix IDESlave reporting of ProofSearchFailDavid Raymond Christiansen12 years ago 636e6e1Fix for repeated variables in instance headEdwin Brady12 years ago b664815Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago 5ba96c1Effect handlers should be coveringEdwin Brady12 years ago 27f7c90Merge pull request #1254 from david-christiansen/error-reflectionDavid Christiansen12 years ago 6fddc4fFix error reflection for ProofSearchFailDavid Raymond Christiansen12 years ago d5a2ba4Add function name to Codegen errorsEdwin Brady12 years ago f17a517Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago cadffacMerge branch 'ziman-debruijn-names'Edwin Brady12 years ago 175a735Make sure binders are unique before case treeEdwin Brady12 years ago d61641dMerge pull request #1253 from david-christiansen/load-to-ideslaveDavid Christiansen12 years ago 94fc13cIDESlave support for :loadtoDavid Raymond Christiansen12 years ago 222d593Merge branch 'debruijn-names' of https://github.com/ziman/idris into ziman-debruijn-namesEdwin Brady12 years ago c0f4475Remember names of deBruijn variables.Matus Tejiscak12 years ago e84cfb6Merge pull request #1251 from david-christiansen/ideslave-proof-depthDavid Christiansen12 years ago 2d22462Check that proof steps introduce no new problemsEdwin Brady12 years ago f8759cdIDESlave support for setting the depth of interactive proof searchDavid Raymond Christiansen12 years ago 602552eAdd :loadto commandEdwin Brady12 years ago 094be98Add an optional depth to 'search' tacticEdwin Brady12 years ago bd566f8Merge pull request #1248 from melted/patch-2Edwin Brady12 years ago 34e492dRemove the windows header files from cabalNiklas Larsson12 years ago a4f1556Merge pull request #1240 from sellout/BoundedListEdwin Brady12 years ago ed85671Merge pull request #1237 from melted/rts_updateEdwin Brady12 years ago 5dd3302Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago 8215c60Fix zero argument with clausesEdwin Brady12 years ago