git.iko.soy/Idris-dev
on master help sign in
history of4dc937a..master
compare
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 30fe3d7Update cabal file for reorganizationDavid Raymond Christiansen db5b385Initial reorganization into contribDavid Raymond 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 aca1148Merge branch 'master' into agda-style-recordstdidriksen 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 9bc0b4aInstance docs: fix test caseAdam Sandberg Eriksson 7ba4da0Instance docs: instance parameter documentationAdam Sandberg Eriksson 45ef649Data.Graph & Data.PolyhedraMark Farrell 8855d25Instance docs: align instance doc with member docAdam Sandberg Eriksson 75bf0d8Instance docs: simplify test caseAdam Sandberg Eriksson 8858c1aBasic handling of elaborator debugger invocationsDavid Raymond Christiansen 02d0078Add beginning of elaborator debugging errorsDavid Raymond Christiansen 540f817Instance docs: add one test caseAdam Sandberg Eriksson 7733fbaInstance docs: hide conflicting Err importAdam Sandberg Eriksson 9d45713Instance docs: add some instance docs to libsAdam Sandberg Eriksson df1a933Instance docs: factor away unnecessary try:sAdam Sandberg Eriksson 642efb3Instance docs: Update CHANGELOG and CONTRIBUTORSAdam Sandberg Eriksson