git.iko.soy/Idris-dev
on master help sign in
history ofde0bcbd..master
compare
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 878653bUpdated Haddock Documentation.Jan de Muijnck-Hughes f5974d9Test update for hiding internal errorsDavid Raymond Christiansen 3705a6bMake test038 actually test somethingDavid Raymond Christiansen 7c39186Better debug reports for error reflectionDavid Raymond Christiansen d006e27Improve representation of BigInt reflectionsDavid Raymond Christiansen 0245eefFix reification of NErasedDavid Raymond Christiansen b8d7935Hide original errors upon reflective rewriteDavid Raymond Christiansen f4449c7Add decEq unit testSimon Fowler dd1665bAdd DecEq instance for stringSimon Fowler 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