34d6f39No need for Handler constraints on effectful opsEdwin Brady12 years ago a75bd0fMerge pull request #1280 from david-christiansen/testrunnerEdwin Brady12 years ago 42d0138Merge pull request #1278 from defanor/masterEdwin Brady12 years ago 10279e6Merge pull request #1276 from jfdm/warranty-flagEdwin Brady12 years ago 6514e7cMerge pull request #1275 from jfdm/bannersEdwin Brady12 years ago 3b37dafMerge pull request #1265 from ziman/dependent-pairsEdwin Brady12 years ago 6ea7202Add test running to CHANGELOGDavid Raymond Christiansen12 years ago e2a34a8Add --testpkg option + tests section in IPKG filesDavid Raymond Christiansen12 years ago 4d215c1Update version number to 0.9.13v0.9.13Edwin Brady12 years ago 10e0399One more case-splitting fixdefanor12 years ago 6e715dbMerge pull request #1277 from jfdm/doc/libsDavid Christiansen12 years ago 328e4ffFixed case-splittingdefanor12 years ago 0793e47Modified REPL banner statement.Jan de Muijnck-Hughes12 years ago 702de0eRemoved accidently added file.Jan de Muijnck-Hughes12 years ago 42a9921Updated inline comments to new style function documentation.Jan de Muijnck-Hughes12 years ago fdb79e6Added warranty information to the Idris Repl.Jan de Muijnck-Hughes12 years ago 3e614c9Added descriptions to Options parser for the 'help' flag.Jan de Muijnck-Hughes12 years ago dcd9568Let's try that again, but with the 0. ...Edwin Brady12 years ago 14a8228Bound on 'parsers' due to build failureEdwin Brady12 years ago 47bf9d7Merge pull request #1272 from jeffersoncarpenter/vect-insertAtEdwin Brady12 years ago 119956aMerge pull request #1271 from bmsherman/typeSearchEdwin Brady12 years ago b5a0c51Merge pull request #1270 from Melvar/vect-thingsEdwin Brady12 years ago 2dd5b6bMerge pull request #1264 from melted/sysinfoEdwin Brady12 years ago 3eede2eForgot a comma in adding a help entry for :searchbmsherman12 years ago 95cd4c5Add Help/autocomplete information for :searchbmsherman12 years ago 282abc8Enable pretty printing of CantResolveAlts errors.bmsherman12 years ago 9907240Add new Err constructor to disambiguate the CantResolveAlts constructor.bmsherman12 years ago 9c3fefeImprove appearance of type search results.bmsherman12 years ago d00053bMerge remote-tracking branch 'upstream/master' into typeSearchbmsherman12 years ago 7395bdeIn type-directed search, handle an additional possible case when processing unification results.bmsherman12 years ago 2a0056aNew matching rule for solving simple functionsEdwin Brady12 years ago cc99207Add staticEff/toEffEdwin Brady12 years ago 8aa1c71Add a decision procedure for Data.Vect.ElemMelvar Chen12 years ago d30a1eaAdd Prelude.Vect.transposeMelvar Chen12 years ago 7868829Fix reg030.Matus Tejiscak12 years ago 42c28d2Rename Pair to Sigma.Matus Tejiscak12 years ago cc9b104Add a prim__systemInfo primitive.niklas12 years ago 8e2f681Merge pull request #1263 from bmsherman/typeSearchEdwin Brady12 years ago bf4c0edFix indentation, use monomorphic projections for pairs.Matus Tejiscak12 years ago 41f921fUnify more things!Edwin Brady12 years ago 2ffd9e4Add a timeout.Matus Tejiscak12 years ago c848c29Implement basic010 properly.Matus Tejiscak12 years ago acf32ddchanged the definition of insertAtjeffersoncarpenter12 years ago e3e3528added insertAt function to Vectjeffersoncarpenter12 years ago 60a0c7aNow we can handle typeclasses!bmsherman12 years ago 5c4ee75Make load to line work with mutual blocksEdwin Brady12 years ago db05606Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago 5aa2a8eFind negative occurrences in positivity checkerEdwin Brady12 years ago 7e78f0aExtend positivity check for mutual data typesEdwin Brady12 years ago b8d355cImplement basic010.Matus Tejiscak12 years ago