git.iko.soy/Idris-dev
on 2a58905 help sign in
2a58905fix cppcheck cmdlineDavid Raymond Christiansen ebf9838Only check for errors with cppcheck in TravisDavid Raymond Christiansen 4297666Merge remote-tracking branch 'refs/remotes/upstream/master' into ahmadsalim-testing/cstaticanalysisDavid Raymond Christiansen 2a2468fMerge pull request #2009 from david-christiansen/wip/tacticalDavid Christiansen 84019b6Fix quasiquoted Raw binder termsDavid Raymond Christiansen 361efb5Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen 147149bAdd 'determining parameters' for classesEdwin Brady 2a70296Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen c2dc6ecAllow new-style tactics to declare function signaturesDavid Raymond Christiansen c66df51Propagate unification solutions into types on 'P'Edwin Brady be9ffc9Proper error message for missing eliminatorsEdwin Brady 5ce7362Type class resolution fixEdwin Brady b493858Add -f execonly to omit library/rts buildsEdwin Brady 88623c7Give Travis's cppcheck an explicit file listDavid Raymond Christiansen e6d1cfd(.) should reduce with only two argumentsEdwin Brady 147352cMerge remote-tracking branch 'upstream/master'David Raymond Christiansen bf8dbc9Merge branch 'jfdm-fix/print-semantics'David Raymond Christiansen a39fef3Merge branch 'fix/print-semantics' of https://github.com/jfdm/Idris-dev into jfdm-fix/print-semanticsDavid Raymond Christiansen cfbb866Merge pull request #2006 from david-christiansen/issue/1790David Christiansen 39ba432Merge pull request #2002 from david-christiansen/better-fin-errorDavid Christiansen 6d768bbMore information if a function is overappliedEdwin Brady 15ab5d5Better error message for qed in expressionsDavid Raymond Christiansen e4358f0Fix cppcheck error and make more robustDavid Raymond Christiansen b0c03c1Merge branch 'testing/cstaticanalysis' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-testing/cstaticanalysisDavid Raymond Christiansen ebac088Annotate provenance termsDavid Raymond Christiansen 6c26814Add IDE command for showing TTDavid Raymond Christiansen 01c4f2aA bit more unification error provenanceEdwin Brady 75f6c2dAdd :core to the REPLDavid Raymond Christiansen bb013f0Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen 771ae4aMake IDE mode default to 70 character terminalsDavid Raymond Christiansen 3d87454TT pretty-printing - also in elab debugDavid Raymond Christiansen 179c704Record provenance of types in 'fill' errorsEdwin Brady 9546bd4Ignore accessibility when recheckingEdwin Brady 426d052Add provenance flag to unification errorsEdwin Brady 535346dUse Set to remove duplicate constraintsEdwin Brady 5d5ec50Properly highlight bound variables in elaborator debugDavid Raymond Christiansen 75a9c8fShow hole context and goals in elaborator debugDavid Raymond Christiansen b04d0cbMinor, minor readability improvement to Fin.idrDavid Raymond Christiansen 6676b85Merge pull request #2001 from adamse/provided-postulates-docsDavid Christiansen 54fb787Documentation for provided postulatesAdam Sandberg Eriksson ad2f186Merge pull request #2000 from david-christiansen/better-fin-errorDavid Christiansen fd0bbc2Merge pull request #1996 from adamse/type-provider-docsDavid Christiansen c666166Improve Fin error rewriter to remove "fromInteger"David Raymond Christiansen d364982Improve rewriter for Fin.fromIntegerDavid Raymond Christiansen 774e2feAdd type providers docs test case to cabal fileAdam Sandberg Eriksson 972b2a5Update CHANGELOG for type provider docsAdam Sandberg Eriksson 6fe15eaAllow type providers to have docstringsAdam Sandberg Eriksson d1d6a7eMerge pull request #1983 from adamse/instance-docsDavid Christiansen ccc2af0instance docs: rename testcaseAdam Sandberg Eriksson c72c60aInstance docs: add test case to cabal fileAdam Sandberg Eriksson