git.iko.soy/Idris-dev
on d471c7d help sign in
d471c7dMerge pull request #1216 from jeffersoncarpenter/blaze-markup-versionEdwin Brady a5669f0Merge pull request #1215 from david-christiansen/totalityEdwin Brady 8d07967Stop building packages if there are totality mismatchesDavid Raymond Christiansen acf010bincremented blaze markup versionJefferson Carpenter e1f7597Merge pull request #1204 from david-christiansen/totality-warningEdwin Brady e415542Merge pull request #1210 from DanielWaterworth/vect_append_associativeDavid Christiansen 09c8283Added a proof that (x ++ (y ++ z)) = ((x ++ y) ++ z) for VectsDaniel Waterworth f979614Merge pull request #1208 from david-christiansen/primitive-docsDavid Christiansen 5621005Merge pull request #1205 from david-christiansen/issue/1191David Christiansen e16c068Documentation for primitivesDavid Raymond Christiansen 755b5b3Remove stale .ibcsDavid Raymond Christiansen 1e59cbdMerge pull request #1206 from paulkoerbitz/fix/1187-doc-no-constructorsDavid Christiansen f1d8f86Make ':doc' say 'No constructors.' when a data type has no constructors.Paul Koerbitz 86fff05Add totality warnings to CHANGELOGDavid Raymond Christiansen aabd0a9Allow %name to take an infix name as an argument.David Raymond Christiansen 45e0a6bMerge pull request #1200 from melted/tcDavid Christiansen 7f9526cUpdate test for totality warningsDavid Raymond Christiansen cd8a233Don't try to compile a test that doesn't have `main`David Raymond Christiansen 0cdef7fUpdate for totality warningsDavid Raymond Christiansen a6caf2dShow more errorsDavid Raymond Christiansen 7143962Make totality a warning until compilingDavid Raymond Christiansen 29cd870Merge pull request #1203 from david-christiansen/ideslave-printingDavid Christiansen 89a975eImprove ideslave highlighting of primitivesDavid Raymond Christiansen 30ee9adFuture-proof the TC' monadniklas 4856076Merge pull request #1199 from david-christiansen/masterDavid Christiansen bddcb56Merge pull request #1197 from david-christiansen/travisdocDavid Christiansen 78431f7Add useful property to Prelude.Vect: xs ++ [] = xsDavid Raymond Christiansen 3ef9556Merge pull request #1198 from raichoo/javascriptraichoo a68c5fajavascript: fix elimination of conditions #1192raichoo fc0c55cDon't compile before building docs in TravisDavid Raymond Christiansen e2c4148Make Travis build HaddockDavid Raymond Christiansen a309d3cMerge pull request #1196 from david-christiansen/dosEdwin Brady ed0f118Merge pull request #1195 from ziman/set-warnreachEdwin Brady 904cdd8Fix Haddock build problemsDavid Raymond Christiansen 10509f6Add support for :set warnreach.Matus Tejiscak 992e753Run usage analysis after every :r.Matus Tejiscak 67517aaMerge pull request #1189 from david-christiansen/apropos-improvementsDavid Christiansen 92d7b51Fix boolElim optimisationEdwin Brady ae0d8b9Document :apropos updates in CHANGELOGDavid Raymond Christiansen c8d8a5a:apropos syntax for bindersDavid Raymond Christiansen 8d02588Merge pull request #1188 from david-christiansen/pprintDavid Christiansen 7c33668Split :apropos queries at spaces, treat as conjunctionDavid Raymond Christiansen 8e55b64Show let bindings with proper line breaks and indentation in proverDavid Raymond Christiansen 2ae4850Merge pull request #1186 from david-christiansen/docsDavid Christiansen ad11ce5Merge pull request #1185 from david-christiansen/pprint-stuffDavid Christiansen c208deaImprove docs for `so`David Raymond Christiansen 624d6c7Fix precedence of application vs arrows in pprintDavid Raymond Christiansen 8c5bef6Show symbols as types, semanticallyDavid Raymond Christiansen ad2ab36Slightly better docs in pprinterDavid Raymond Christiansen 304fff1Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady