2cc6526Adjust code around argsToAlt.Matus Tejiscak12 years ago 747aaf5Extend argsToAlt to return a quadruple.Matus Tejiscak12 years ago 204ebf5Added support for data definitionsAlyssa Carter12 years ago bfdec8fRemoved some commented-out codeAlyssa Carter12 years ago c1277c8Handling more forms of definition.Alyssa Carter12 years ago 60b1f18Added some additional documentation for partial evaluationAhmad Salim Al-Sibahi12 years ago c201192Bring erasure info to the case tree builder.Matus Tejiscak12 years ago d8ed044Add getInaccessibleArgs.Matus Tejiscak12 years ago 2e9c299Add ReaderT to CaseBuilder.Matus Tejiscak12 years ago b0cb4e2Create the CaseBuilder monad alias.Matus Tejiscak12 years ago a5e8ca3Changed :let to work with an arbitrary number of `PDecl`s (though only one name at a time for now).Alyssa Carter12 years ago e260741Preliminary support for a :let command in the replAlyssa Carter12 years ago f2e30f2Merge pull request #1352 from Heather/stringEdwin Brady12 years ago 59ebac4Merge pull request #1345 from bmsherman/idrisNetFixEdwin Brady12 years ago 9183cd7Merge pull request #1336 from Heather/systemEdwin Brady12 years ago f60626fMerge pull request #1334 from Melvar/fix-ipc-encEdwin Brady12 years ago fc947a6Merge pull request #1229 from LeifW/travis_depsEdwin Brady12 years ago 97e0778Predicates for Prelude StringsHeather12 years ago ed971dbMerge pull request #1349 from raichoo/javascriptraichoo12 years ago baf5218javascript: simple dead code eliminationraichoo12 years ago 7064d6dMerge pull request #1344 from mrb/maximum_succ_proofDavid Christiansen12 years ago 49cf179Merge pull request #1346 from bmsherman/searchVarMatchingDavid Christiansen12 years ago 9040abaMerge pull request #1348 from david-christiansen/quasiquoteDavid Christiansen12 years ago dac312bAdd goal types to quasiquotes.David Raymond Christiansen12 years ago ded4d17add system to Effects/System neweffectsHeather12 years ago 81a1ddeadd system to Effects.System as isHeather12 years ago a3ccdefMerge pull request #1347 from raichoo/javascriptraichoo12 years ago 78b2923Correctly count applications of variables in :searchbmsherman12 years ago 6fd4a4eFix typo in Idris network C codebmsherman12 years ago dfa272dsuc{Max,Min}{L,R} + add mrb to CONTRIBUTORSmrb12 years ago 5aee06cjavascript: fix stray semicolonraichoo12 years ago 4ac55ccjavascript: inline some SLIDEs and PROJECTsraichoo12 years ago 92c61eajavascript: optimize constructor allocationraichoo12 years ago 5d4c8a0Merge pull request #1341 from bmsherman/improvedSearchDavid Christiansen12 years ago 871c8b2Merge pull request #1331 from david-christiansen/quasiquoteDavid Christiansen12 years ago e08a18dMerge remote-tracking branch 'refs/remotes/upstream/master' into quasiquoteDavid Raymond Christiansen12 years ago ae5c48aFix type error in generated quasiquote patternsDavid Raymond Christiansen12 years ago 86b1a78Merge pull request #1327 from melted/nocabalEdwin Brady12 years ago d7f6164Ignore believe_me in :search since its type is a lie!bmsherman12 years ago e1ba862Find best matching types first in :search with a priority queue.bmsherman12 years ago d19891cDiscover typeclass introduction/elimination in :searchbmsherman12 years ago eec9953In :search, check injectivity to prevent erroneous resultsbmsherman12 years ago 7e329c9Merge pull request #1340 from raichoo/javascriptraichoo12 years ago 33d6d70javascript: a few HLint adjustmentsraichoo12 years ago a88c208javascript: display unsupported instruction as commentsraichoo12 years ago e4d23ecjavascript: remove old namespacesraichoo12 years ago c82427bjavascript: fix indentation errorraichoo12 years ago b641b9aMerge pull request #1339 from raichoo/javascriptraichoo12 years ago 81e8dfcjavascript: do not include jsbn if not neededraichoo12 years ago 146dda2Merge pull request #1338 from raichoo/javascriptraichoo12 years ago