git.iko.soy/Idris-dev
on 0245eef help sign in
0245eefFix reification of NErasedDavid Raymond Christiansen b8d7935Hide original errors upon reflective rewriteDavid Raymond Christiansen b4943a2Update error reflection for CantSolveGoalDavid Raymond Christiansen bab6c7bAdd error handlers to IBC filesDavid Raymond Christiansen 887b6e2Merge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen 0ab30e7Restrict error reflection scope to one argumentDavid Raymond Christiansen e9c9297Make lookupCtxtExact return Maybe instead of ListDavid Raymond Christiansen 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 1f67398Specific-function error reflection: basic infrastructureDavid Raymond Christiansen 6b811a4Fix Haddock parse errorDavid Raymond Christiansen 06fd947Add "Can't solve goal" error messageEdwin Brady da25e42Tweak proof search metavariable updateEdwin Brady 724c1d9Add some type signatures and documentation in elabDavid Raymond Christiansen 1fe537fFix naming problem in unificationEdwin Brady a306c33Updates to contributing guidelines.Jan de Muijnck-Hughes 9a81a53Cache names in evaluator environmentEdwin Brady b9bac0eMerge pull request #791 from raichoo/javascriptEdwin Brady 858b6edMerge pull request #789 from tpsinnem/masterEdwin Brady 59edc75Merge pull request #786 from LeifW/report_unzip_errorsEdwin Brady b849041Merge pull request #787 from ziman/reg031-sign-fixEdwin Brady ff872b4Fix cabal errorEdwin Brady 7f722cbAdd missing files to idris.cabalEdwin Brady 99376f4Add neweffects libraryEdwin Brady e825007More descriptive error message on failure to unzip .ibcLeif Warner c8c2088javascript: tiny APPLY refactoringraichoo 27d9d70javascript: reduce initializations in generated coderaichoo addaeeci|javascript: make inliner more aggressiveraichoo f5cad0dwhitespacesraichoo f44fe32Foreign pointer equalityEdwin Brady 0690defMerge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen 40c7c45Merge branch 'master' of github.com:edwinb/Idris-devTimo Petteri Sinnemäki 0c9e3a3Re-rename FunN all the way back to Fun.Timo Petteri Sinnemäki 1dfc8fdFix typo that led to unification bugEdwin Brady 9e1f8faAdded missing comma to base.ipkgTimo Petteri Sinnemäki 69f73f8Merge branch 'master' of github.com:edwinb/Idris-devTimo Petteri Sinnemäki 9150e95Added Data.FunN and Data.Rel to base.ipkgTimo Petteri Sinnemäki af9f826Renamed VectFun to FunN, added a few explanatory comments.Timo Petteri Sinnemäki 1b511c7Cleaned up, and added a commented-out attempt at a 'decision' convenience function, which now fails work.Timo Petteri Sinnemäki 531c9d5Make reg031 char-sign-indifferent.Matus Tejiscak 0877929Remove incorrect case from unused argument traceEdwin Brady d337b5dPerformance/compiler temporary hack: %eraseEdwin Brady 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äki 32b66c5Type constructor arguments are unused at run-timeEdwin Brady bee7fc8Merge pull request #785 from raichoo/javascriptEdwin Brady 2c2a206Merge pull request #784 from ziman/c-stringsEdwin Brady 10b971cjavascript: temporary workaround to fix some issues with charsraichoo 5d5b1b3Delimit escape codes properly.Matus Tejiscak 2bf16c9Add a regression test.Matus Tejiscak