git.iko.soy/Idris-dev
on 2cc6526 help sign in
2cc6526Adjust code around argsToAlt.Matus Tejiscak 747aaf5Extend argsToAlt to return a quadruple.Matus Tejiscak c201192Bring erasure info to the case tree builder.Matus Tejiscak d8ed044Add getInaccessibleArgs.Matus Tejiscak 2e9c299Add ReaderT to CaseBuilder.Matus Tejiscak b0cb4e2Create the CaseBuilder monad alias.Matus Tejiscak f2e30f2Merge pull request #1352 from Heather/stringEdwin Brady 59ebac4Merge pull request #1345 from bmsherman/idrisNetFixEdwin Brady 9183cd7Merge pull request #1336 from Heather/systemEdwin Brady f60626fMerge pull request #1334 from Melvar/fix-ipc-encEdwin Brady fc947a6Merge pull request #1229 from LeifW/travis_depsEdwin Brady 97e0778Predicates for Prelude StringsHeather ed971dbMerge pull request #1349 from raichoo/javascriptraichoo baf5218javascript: simple dead code eliminationraichoo 7064d6dMerge pull request #1344 from mrb/maximum_succ_proofDavid Christiansen 49cf179Merge pull request #1346 from bmsherman/searchVarMatchingDavid Christiansen 9040abaMerge pull request #1348 from david-christiansen/quasiquoteDavid Christiansen dac312bAdd goal types to quasiquotes.David Raymond Christiansen ded4d17add system to Effects/System neweffectsHeather 81a1ddeadd system to Effects.System as isHeather a3ccdefMerge pull request #1347 from raichoo/javascriptraichoo 78b2923Correctly count applications of variables in :searchbmsherman 6fd4a4eFix typo in Idris network C codebmsherman dfa272dsuc{Max,Min}{L,R} + add mrb to CONTRIBUTORSmrb 5aee06cjavascript: fix stray semicolonraichoo 4ac55ccjavascript: inline some SLIDEs and PROJECTsraichoo 92c61eajavascript: optimize constructor allocationraichoo 5d4c8a0Merge pull request #1341 from bmsherman/improvedSearchDavid Christiansen 871c8b2Merge pull request #1331 from david-christiansen/quasiquoteDavid Christiansen e08a18dMerge remote-tracking branch 'refs/remotes/upstream/master' into quasiquoteDavid Raymond Christiansen ae5c48aFix type error in generated quasiquote patternsDavid Raymond Christiansen 86b1a78Merge pull request #1327 from melted/nocabalEdwin Brady d7f6164Ignore believe_me in :search since its type is a lie!bmsherman e1ba862Find best matching types first in :search with a priority queue.bmsherman d19891cDiscover typeclass introduction/elimination in :searchbmsherman eec9953In :search, check injectivity to prevent erroneous resultsbmsherman 7e329c9Merge pull request #1340 from raichoo/javascriptraichoo 33d6d70javascript: a few HLint adjustmentsraichoo a88c208javascript: display unsupported instruction as commentsraichoo e4d23ecjavascript: remove old namespacesraichoo c82427bjavascript: fix indentation errorraichoo b641b9aMerge pull request #1339 from raichoo/javascriptraichoo 81e8dfcjavascript: do not include jsbn if not neededraichoo 146dda2Merge pull request #1338 from raichoo/javascriptraichoo e336478adjusted CHANGELOGraichoo 9d3822djavascript: implement %lib directive for noderaichoo 1153028Update comments to fit the state of the codeDavid Raymond Christiansen ee11033Elaborate quasiquote patterns to something usefulDavid Raymond Christiansen 6d4d442Merge pull request #1333 from bmsherman/improvedSearchDavid Christiansen 7062857Merge pull request #1330 from mrb/simplify_nat_max_minDavid Christiansen