git.iko.soy/Idris-dev
on master help sign in
history of5afcedb..master
compare
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 008cdb6Merge pull request #1490 from edwinb/masterEdwin Brady be7bbd7Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 874303aUpdate CHANGELOGEdwin Brady c85af21Make sure Borrowed constructors aren't updatedEdwin Brady da818b8Re-enable inlining in Lang IREdwin Brady bd721a2Make sure Borrowed constructors aren't updatedEdwin Brady 6e26f51Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 12abf74Re-enable inlining in Lang IREdwin Brady 1ec12bbMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady c643d6eMerge pull request #1488 from raichoo/masterraichoo