git.iko.soy/Idris-dev
on dae7d7d help sign in
dae7d7dMove interactive commands to their own moduleEdwin Brady 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