git.iko.soy/Idris-dev
on fee6a00 help sign in
fee6a00Merge pull request #806 from ziman/import-asEdwin Brady 694832fcontainers constraint for Data.Map.StrictEdwin Brady 4c2a230Replace error printing for CantSolveGoalEdwin Brady 1e36589Merge pull request #801 from david-christiansen/semantic-pprintEdwin Brady 50c2c53Merge pull request #809 from raichoo/javascriptEdwin Brady bd3d70dRename test038 to test040.Matus Tejiscak e0aa8a4Merge pull request #803 from alexeevg/masterEdwin Brady e63fcefMerge pull request #799 from markuspf/masterEdwin Brady 71ab50eMerge pull request #798 from SimonJF/simpleparser-ipkgEdwin Brady 3cc603cMerge pull request #795 from SimonJF/deceq-strEdwin Brady 9eb64f4Rewrite error printing to use the pretty-printerDavid Raymond Christiansen f3d1adaFix pretty-printing of infix operatorsDavid Raymond Christiansen de72eb9More IDESlave semantic highlightingDavid Raymond Christiansen 7633169javascript: now passes reg016raichoo 126b3ebjavascript: add more tests to test_jsraichoo 69965efjavascript: inliner does not increase performance as expectedraichoo 098ba50javascript: more inliner experimentsraichoo 4b6d184javascript: more work on inlinerraichoo 36204f6javascript: initial code for function inlinerraichoo 566648cjavascript: main and invokeLoop as JSraichoo cb1fab7javascript: eliminate dead casesraichoo ae0ec82javascript: translateDeclaration should not return JSSeqraichoo 8dd968fjavascript: smarter inlinerraichoo 019ba6ejavascript: cleaned upraichoo b059c08javascript: remove allocationsraichoo e914ae0Add check for module alias clashes.Matus Tejiscak b634841Remove an accidentally added file.Matus Tejiscak b95c609Add the correct expected output for test038.Matus Tejiscak 40e5b77Add test for import-as.Matus Tejiscak 41a6c5eFix namespace ordering.Matus Tejiscak 4d2185bSupport semantic highlighting in IDEslave modeDavid Raymond Christiansen f24a675Add the possibility to "import Module as Alias".Matus Tejiscak b837e4bEq and Ord instances for Prelude.VectGleb Alexeyev 13c6effProperly annotate the Type of TypesDavid Raymond Christiansen c0cc1ddMerge remote-tracking branch 'upstream/master' into semantic-pprintDavid Raymond Christiansen dc4ce0cReplace the string-slinging show with pretty-printDavid Raymond Christiansen fe3f03fAdded %error_reverse annotationEdwin Brady 5f0c449Colouring support in the proverDavid Raymond Christiansen 13f3c29Basic functioning with new pretty-printerDavid Raymond Christiansen e1e7b8cCorrect usage informationMarkus Pfeiffer 442733dAdd IPKG for SimpleParserSimon Fowler 803194fArgument options (instead of just a Bool for lazy)Edwin Brady f4449c7Add decEq unit testSimon Fowler dd1665bAdd DecEq instance for stringSimon Fowler 5080735Merge pull request #792 from jfdm/doc/contributing.ndEdwin Brady cc63f22Merge pull request #793 from trillioneyes/documentationEdwin Brady 2c80895Bring my changes in line with the latest upstreamAlyssa Carter 06fd947Add "Can't solve goal" error messageEdwin Brady da25e42Tweak proof search metavariable updateEdwin Brady 1fe537fFix naming problem in unificationEdwin Brady