40e5b77Add test for import-as.Matus Tejiscak13 years ago 41a6c5eFix namespace ordering.Matus Tejiscak13 years ago f24a675Add the possibility to "import Module as Alias".Matus Tejiscak13 years ago fe3f03fAdded %error_reverse annotationEdwin Brady13 years ago 803194fArgument options (instead of just a Bool for lazy)Edwin Brady13 years ago 5080735Merge pull request #792 from jfdm/doc/contributing.ndEdwin Brady13 years ago cc63f22Merge pull request #793 from trillioneyes/documentationEdwin Brady13 years ago 2c80895Bring my changes in line with the latest upstreamAlyssa Carter13 years ago 06fd947Add "Can't solve goal" error messageEdwin Brady13 years ago da25e42Tweak proof search metavariable updateEdwin Brady13 years ago 1fe537fFix naming problem in unificationEdwin Brady13 years ago a306c33Updates to contributing guidelines.Jan de Muijnck-Hughes13 years ago 9a81a53Cache names in evaluator environmentEdwin Brady13 years ago b9bac0eMerge pull request #791 from raichoo/javascriptEdwin Brady13 years ago 858b6edMerge pull request #789 from tpsinnem/masterEdwin Brady13 years ago 59edc75Merge pull request #786 from LeifW/report_unzip_errorsEdwin Brady13 years ago b849041Merge pull request #787 from ziman/reg031-sign-fixEdwin Brady13 years ago ff872b4Fix cabal errorEdwin Brady13 years ago 7f722cbAdd missing files to idris.cabalEdwin Brady13 years ago 99376f4Add neweffects libraryEdwin Brady13 years ago e825007More descriptive error message on failure to unzip .ibcLeif Warner13 years ago c8c2088javascript: tiny APPLY refactoringraichoo13 years ago 27d9d70javascript: reduce initializations in generated coderaichoo13 years ago addaeeci|javascript: make inliner more aggressiveraichoo13 years ago f5cad0dwhitespacesraichoo13 years ago f44fe32Foreign pointer equalityEdwin Brady13 years ago 40c7c45Merge branch 'master' of github.com:edwinb/Idris-devTimo Petteri Sinnemäki13 years ago 0c9e3a3Re-rename FunN all the way back to Fun.Timo Petteri Sinnemäki13 years ago 1dfc8fdFix typo that led to unification bugEdwin Brady13 years ago 9e1f8faAdded missing comma to base.ipkgTimo Petteri Sinnemäki13 years ago 69f73f8Merge branch 'master' of github.com:edwinb/Idris-devTimo Petteri Sinnemäki13 years ago 9150e95Added Data.FunN and Data.Rel to base.ipkgTimo Petteri Sinnemäki13 years ago af9f826Renamed VectFun to FunN, added a few explanatory comments.Timo Petteri Sinnemäki13 years ago 1b511c7Cleaned up, and added a commented-out attempt at a 'decision' convenience function, which now fails work.Timo Petteri Sinnemäki13 years ago 531c9d5Make reg031 char-sign-indifferent.Matus Tejiscak13 years ago 0877929Remove incorrect case from unused argument traceEdwin Brady13 years ago d337b5dPerformance/compiler temporary hack: %eraseEdwin Brady13 years ago 41925a6Added type functions for n-ary functions and relations, and modified things in Decidable to use them (based on Melvar's code). Comment regarding REPL instance resolution needed, as is some cleanup.Timo Petteri Sinnemäki13 years ago 32b66c5Type constructor arguments are unused at run-timeEdwin Brady13 years ago bee7fc8Merge pull request #785 from raichoo/javascriptEdwin Brady13 years ago 2c2a206Merge pull request #784 from ziman/c-stringsEdwin Brady13 years ago 10b971cjavascript: temporary workaround to fix some issues with charsraichoo13 years ago 5d5b1b3Delimit escape codes properly.Matus Tejiscak13 years ago 2bf16c9Add a regression test.Matus Tejiscak13 years ago 8f38baaExclude \DEL from C-string literal characters.Matus Tejiscak13 years ago 543f41dCodegenC: support arbitrary bytes in string literals.Matus Tejiscak13 years ago 2b55660javascript: inline apply callsraichoo13 years ago 10c257bFix error reporting with mutual instancesEdwin Brady13 years ago ef10474Allow mutually defined instancesEdwin Brady13 years ago 9aa723eImplicit "module Main" addedEdwin Brady13 years ago