git.iko.soy/Idris-dev
on f572cd0 help sign in
f572cd0Fixed version number in conf to be 0.9.17Jan de Muijnck-Hughes af72159Sphinx Based Documentation for Idris.Jan de Muijnck-Hughes 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 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 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 9bc0b4aInstance docs: fix test caseAdam Sandberg Eriksson 7ba4da0Instance docs: instance parameter documentationAdam Sandberg Eriksson 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