git.iko.soy/Idris-dev
on 8d5c1fe help sign in
8d5c1feMerge pull request #1438 from david-christiansen/reflection-updatesDavid Christiansen d10ed5dMerge pull request #1433 from jmitchell/effects-docDavid Christiansen a73b6afFix reference to broken primitivesDavid Raymond Christiansen 79308e7Add typeclass for programmatic quotingDavid Raymond Christiansen 9884992Update Eq and Show reflection for internals changesDavid Raymond Christiansen c41b605Update reflection code to current core language.David Raymond Christiansen 5cf623bMerge pull request #1435 from david-christiansen/issue/1434David Christiansen 816e85bReinsert check for constructor/family mismatch.David Raymond Christiansen 87ac834Add 'doc' and 'doc_clean' make targets for Effects libJake Mitchell 92af9baMerge pull request #1425 from david-christiansen/fail-skip-tacticsDavid Christiansen 84b172aAdd tactics "skip" and "fail"David Raymond Christiansen 8532710Merge pull request #1424 from ahmadsalim/improvement/replcommandsbacktrackingDavid Christiansen eb241edFixed wrong handling of whitespace between commands and argumentsAhmad Salim Al-Sibahi fb2d914Removed unnecessary backtracking in REPL command parsing making errors harder to understandAhmad Salim Al-Sibahi 313340eMerge pull request #1422 from fread2281/masterDavid Christiansen 97a2c74Add Functor Monad and Applicative id instancesCarter Charbonneau abc99c6Merge pull request #1421 from Melvar/fix-matchapp-opDavid Christiansen 41b2552Allows parsing operators that start with “<==”Melvar Chen e729d1aMerge pull request #1413 from david-christiansen/masterDavid Christiansen 7fa538aMerge pull request #1417 from david-christiansen/travis-list-packagesDavid Christiansen f38b611Make Idris build with the latest hackageDavid Raymond Christiansen ef19157Put an upper bound on TrifectaDavid Raymond Christiansen 249523dList packages in TravisDavid Raymond Christiansen 7ca1a6fAdd Uninhabited instance for Any p []David Raymond Christiansen 196bc76Merge pull request #1409 from Melvar/forDavid Christiansen ad11bf8Add for and for_Melvar Chen eedaa56Merge pull request #1406 from jthemphill/fix-qsortDavid Christiansen a0ba488Merge pull request #1408 from ahmadsalim/bug/sortedmapDavid Christiansen 927cca7Fixed bug regarding insertion in SortedMap. Fixes idris-lang/Idris-dev#1394. Solution based on the diagnosis in @sebzim4500s comment.Ahmad Salim Al-Sibahi 1275b9eFix a bug in qsortJeff Hemphill 8b66f2aMerge pull request #1405 from david-christiansen/masterDavid Christiansen 2aed52aUpdate docs for equality typeDavid Raymond Christiansen 9242f46Resolve default Integer as late as possibleEdwin Brady dbc0539Merge pull request #1397 from jfdm/doc/effectsv0.9.14Edwin Brady b54541fFix doc rot on effects.Jan de Muijnck-Hughes 86ec4a1New regression testEdwin Brady e6e1ad9Unification fixEdwin Brady 6cc18fdmakelemma fixEdwin Brady f158123Disable old productivity checkerEdwin Brady 734a7bfGenerate better record projection typesEdwin Brady a329a4cMerge branch 'JasonGross-gc-header-fix'Edwin Brady 9000ecfSpot name clases in error messagesEdwin Brady a0413d0Merge branch 'gc-header-fix' of https://github.com/JasonGross/Idris-dev into JasonGross-gc-header-fixEdwin Brady 9b9d513Merge pull request #1384 from lenary/correct-semilatticesEdwin Brady d8dd5d5Update version numberEdwin Brady 5b37733Clarify semilattice documentationSam Elliott 6b5a120Remove neweffects from cabalEdwin Brady ced7733Replace 'effects' with neweffectsEdwin Brady 6e39ba5Normalise everything before 'with' abstractionEdwin Brady 1d23ad1Normalise before abstracting over 'with' typeEdwin Brady