git.iko.soy/Idris-dev
on 5de1cd8 help sign in
5de1cd8adjust tests with --consolewidth for use with -f cursesAndreas Reuleaux 174395bMerge remote-tracking branch 'upstream/master' into issue2004Andreas Reuleaux a5e76fcadjust tests with --consolewidth for use with -f cursesAndreas Reuleaux 9cfd0c2adjust test with --consolewidth for use with -f cursesAndreas Reuleaux d0a9bebadjust tests with --consolewidth for use with -f cursesAndreas Reuleaux 15737d9Trickiness with implicits in dependent classesEdwin Brady 73da7d4adjust tests with --consolewidth for use with -f cursesAndreas Reuleaux 7a91805adjust test with --consolewidth for use with -f cursesAndreas Reuleaux 62419f4set console width / adjust tests by using --consolewidth to make them work with the curses flagAndreas Reuleaux b989e36dead code: renderWidth nowhere usedAndreas Reuleaux aa33865Merge remote-tracking branch 'upstream/master' into issue2004Andreas Reuleaux 1bf2731issue #2004 resolved by --consolewith cmd line paramAndreas Reuleaux 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 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