git.iko.soy/Idris-dev
on baeaf1c help sign in
baeaf1cIntroduce class NegatableMarkus Pfeiffer f50a883Merge pull request #1528 from bmsherman/cabalUpperBounds2Edwin Brady 3725081Remove Cabal library dependency and add more upper boundsbmsherman 29b4d1aMerge pull request #1525 from bmsherman/searchAnnotationDavid Christiansen 0d2a187Add upper bounds to cabal package dependencies.bmsherman 7ce4d90Add annotations for :search result classificationbmsherman 0ffc92aMerge pull request #1523 from edwinb/ibc-fixEdwin Brady 323a109Use exact name lookup when building from ibcEdwin Brady 782c945Merge pull request #1522 from soimort/patch-typo-fixDavid Christiansen b46ba07Fix typo in help message (language extension)Mort Yao 80238b4Merge remote-tracking branch 'upstream/master'David Raymond Christiansen 0a6feb1Merge branch 'RyanGlScott-master'David Raymond Christiansen bc0af86Install newer alex from Hackage for testsDavid Raymond Christiansen aa4702dMerge pull request #1510 from soimort/uniqueness-executeDavid Christiansen 99fe3e8Merge pull request #1511 from tac-tics/basic-repl-testDavid Christiansen ae55c56Fix for language-java 0.2.7RyanGlScott e0f815aAdd test for basic REPL commandsMichael Maloney 0200b44Support uniqueness types when executing IO actions in REPLMort Yao 52407a9Merge pull request #1509 from david-christiansen/patdefs-cmdsDavid Christiansen 893b980Add :printdef command to show the definition of a pattern-matching operationDavid Raymond Christiansen 2a8d607Merge pull request #1507 from bmsherman/improveSearchDavid Christiansen d819e0dMerge pull request #1505 from tac-tics/top-level-annotsDavid Christiansen 134dbf8Merge pull request #1504 from Heather/eithererrDavid Christiansen c64f2c2Merge branch 'suhorng-master'David Raymond Christiansen 12ff2e3Remove unnecessary importDavid Raymond Christiansen 971d88dAnnotate several top-level functionsMichael Maloney 185f808Fix logical error in :search's unification resolutionbmsherman aa98ab1Try symmetry of equality in :searchbmsherman 73c481dfix compatibility with optparse-applciative 0.10 - the `option` API is changed - `execParserMaybe` is deprecatedsuhorng e071c68EitherErr Applicative for Functor-Applicative-Monad_ProposalHeather 886bac0Refactor :search to remove code duplication and name shadowingbmsherman 4dc73a0Merge pull request #1501 from david-christiansen/uniquify-executorDavid Christiansen e7bd1f5Uniquify binder names when leaving executorDavid Raymond Christiansen 0167b98Merge pull request #1498 from david-christiansen/issue/1497David Christiansen da50bcaMerge pull request #1499 from Melvar/ideslave-unletDavid Christiansen ce7dff9Error when using empty namespace for disambiguation at REPLDavid Raymond Christiansen 8fadb31Update version number for CUFP releasev0.9.14.2Edwin Brady 9701503Merge pull request #1496 from edwinb/postulate-deceqEdwin Brady 1270b7cMerge pull request #1495 from edwinb/uniqueEdwin Brady 4204927Use believe_me for DecEq on primitivesEdwin Brady e1462e0Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 6097efcMerge branch 'unique'Edwin Brady d726674Enable :unlet for ideslaveMelvar Chen e1a2cf8No need to check LHS for unique usageEdwin Brady f57383cNo need to check in types for uniquenessEdwin Brady 91eecdbMerge pull request #1493 from mixis/fix/master/nextNamme-patternEdwin Brady 486c4c0Add missing pattern in TT.hsMichael Weiss 60f3916Merge pull request #1492 from edwinb/uniqueEdwin Brady d3660edDon't pass used unique variables to metavarsEdwin Brady b591600Don't propagate unique names to 'where'Edwin Brady