ef45cdcMerge pull request #1247 from a3gis/patch-1David Christiansen12 years ago f9c6155Correct a typo in Prelude.idra3gis12 years ago 8b55229Merge pull request #1222 from klrr/split-binsDavid Christiansen12 years ago f67031eMerge pull request #1231 from melted/patch-1David Christiansen12 years ago eb13e68Merge pull request #1236 from sellout/buffersDavid Christiansen12 years ago 36be2f8Merge pull request #1238 from melted/cleanupDavid Christiansen12 years ago 1d71869Merge pull request #1239 from sellout/Fin-EnumDavid Christiansen12 years ago d90e30eMerge pull request #1241 from joshvera/main-jsraichoo12 years ago 6db171cCall mainFun even if window and document aren't definedJosh Vera12 years ago afbd8c6Add Enum instance for Fin.Greg Pfeil12 years ago c707c2dSome clean up.niklas12 years ago 75d42a2Implement reductions for for Buffer primitives.Greg Pfeil12 years ago 829bd85Update idris.cabalNiklas Larsson12 years ago 9be5866started working on new cmd arg parserklrr12 years ago d581842Merge pull request #1228 from david-christiansen/ideslave-makelemmaDavid Christiansen12 years ago 659e985Add IDESlave support to :makelemmaDavid Raymond Christiansen12 years ago f53580aChange type class top level method generationEdwin Brady12 years ago a265279:makelemma now works on provisional definitionsEdwin Brady12 years ago a6d79abFix silly error in 'search'Edwin Brady12 years ago e23ebdaMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago 719d472'search' now fails if there are metavariablesEdwin Brady12 years ago d3eb1b7Merge pull request #1221 from paulkoerbitz/fix/911-make-doc-show-superclassesEdwin Brady12 years ago 9274248Merge pull request #1220 from canndrew/masterEdwin Brady12 years ago 50f63b5Make sensible implicit choices in :addlemmaEdwin Brady12 years ago f02f3c0Check if class is meant to be empty...Edwin Brady12 years ago 2dabd3fUpdate CHANGELOGEdwin Brady12 years ago f8e6549:addclause now adds template bodies to instancesEdwin Brady12 years ago db88c3eTidy output of :makelemmaEdwin Brady12 years ago af99a9dAdd :makelemma command in interactive editingEdwin Brady12 years ago 0bb1294Add primitive for stdout, stderrEdwin Brady12 years ago a713659Merge current master into fix/911- branchPaul Koerbitz12 years ago 70b6f8fFix List.splitAndrew Cann12 years ago 49d28a9Correct filtering for subclasses in pprintDocs for multiparameter subclassesPaul Koerbitz12 years ago 671719eCorrect filtering for subclasses in pprintDocs (fixes #1212)Paul Koerbitz12 years ago d9a96d1Move 'mkNo' to a whereEdwin Brady12 years ago 3825ad8Remove spurious error from 'setter' warningEdwin Brady12 years ago 59b9a4cAdd Data.List to baseEdwin Brady12 years ago 0c1bc8dPropagate bound implicits to record updatesEdwin Brady12 years ago 22143e4Fix if - operator precedence mistake, fixes #911Paul Koerbitz12 years ago dae7d7dMove interactive commands to their own moduleEdwin Brady12 years ago d471c7dMerge pull request #1216 from jeffersoncarpenter/blaze-markup-versionEdwin Brady12 years ago a5669f0Merge pull request #1215 from david-christiansen/totalityEdwin Brady12 years ago 8d07967Stop building packages if there are totality mismatchesDavid Raymond Christiansen12 years ago acf010bincremented blaze markup versionJefferson Carpenter12 years ago e1f7597Merge pull request #1204 from david-christiansen/totality-warningEdwin Brady12 years ago e415542Merge pull request #1210 from DanielWaterworth/vect_append_associativeDavid Christiansen12 years ago 09c8283Added a proof that (x ++ (y ++ z)) = ((x ++ y) ++ z) for VectsDaniel Waterworth12 years ago f979614Merge pull request #1208 from david-christiansen/primitive-docsDavid Christiansen12 years ago 5621005Merge pull request #1205 from david-christiansen/issue/1191David Christiansen12 years ago e16c068Documentation for primitivesDavid Raymond Christiansen12 years ago