60ee95bMerge pull request #1612 from johnny-john/docsnippetsEdwin Brady12 years ago c81ad3bMerge pull request #1632 from edwinb/remove-supportEdwin Brady12 years ago 37d7ef4Remove dead code in supportEdwin Brady12 years ago 74ad9d5Merge pull request #1631 from edwinb/force-ibcEdwin Brady12 years ago 419770fMerge pull request #1630 from edwinb/partial-evalEdwin Brady12 years ago 56c216dIncrement IBCEdwin Brady12 years ago 76103c0Allow Partial Eval of lambdas/lets in static posEdwin Brady12 years ago e890280Merge pull request #1619 from ahmadsalim/feature/renamevoidEdwin Brady12 years ago c6da5f6Allow Partial Eval of lambdas/lets in static posEdwin Brady12 years ago 7a0f64dUpdate version number ready for upcoming releaseEdwin Brady12 years ago 6bcf43aMerge pull request #1625 from edwinb/partial-evalEdwin Brady12 years ago abc2002Merge pull request #1623 from edwinb/patvarsEdwin Brady12 years ago 3ade599Partial evaluator fixesEdwin Brady12 years ago 6e74e33Fix for pattern vars in transformsEdwin Brady12 years ago 2f26892Merge pull request #1622 from edwinb/case-fixEdwin Brady12 years ago 8e26550Merge pull request #1621 from trillioneyes/repl-definitionsEdwin Brady12 years ago 72b9e95Merge pull request #1618 from jfdm/tidyup/lift-todos-3Edwin Brady12 years ago e1d40fcMerge branch 'master' of git://github.com/idris-lang/Idris-dev into case-fixEdwin Brady12 years ago 2878ff3Solve more implicits before 'case' elaborationEdwin Brady12 years ago 1c8c27eMerge branch 'master' of https://github.com/idris-lang/Idris-dev into repl-definitionsAlyssa Carter12 years ago c7e8834:let at the REPL now supports syntax extensions!Alyssa Carter12 years ago 37eae55Factor `addSyntax` out of `syntaxDecl` parserAlyssa Carter12 years ago d6981dcRenamed VoidElim to void in order to ensure further consistencyAhmad Salim Al-Sibahi12 years ago edb9980Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match upAhmad Salim Al-Sibahi12 years ago d46d65eMerge pull request #1613 from david-christiansen/doc-examplesDavid Christiansen12 years ago 76ab2e2Lifted the TODOs from Primitives.hsJan de Muijnck-Hughes12 years ago 54dbb85Added TODOs and FIXMEs from the Elaborator for Data.Jan de Muijnck-Hughes12 years ago 8698afcRemoved old comment from `src/Idris/Elab/Data.hs`Jan de Muijnck-Hughes12 years ago c2c6666Lifted TODOs and FIXMEs from clause and instance elaboratorJan de Muijnck-Hughes12 years ago 16ff91fAdd syntax for example code to docsDavid Raymond Christiansen12 years ago b65d2c4Merge pull request #1586 from Helkafen/hashDavid Christiansen12 years ago 6f92c44More docs for Prelude.Listjohnny-john12 years ago cb5ed53Added TODOs from IdeSlave.hsJan de Muijnck-Hughes12 years ago 8430f90Improved docs for Data.HashSebastian de Bellefon12 years ago 3def279Take basic011 out of the javascript test suiteSebastian de Bellefon12 years ago f33ce93Add Hash tests files to cabalSebastian de Bellefon12 years ago e76e6d4Make Data.Hash totalSebastian de Bellefon12 years ago 8695823Data.Hash librarySebastian de Bellefon12 years ago 8ad2124Merge pull request #1609 from johnny-john/vectfuncsDavid Christiansen12 years ago 404d25fMerge pull request #1608 from edwinb/nomallocEdwin Brady12 years ago d94bac1Adding functions to Prelude.Vectjohnny-john12 years ago dd86a35Be free of mallocEdwin Brady12 years ago 9d1d508Merge pull request #1585 from RyanGlScott/masterEdwin Brady12 years ago 457b08aMerge pull request #1605 from edwinb/reg052-fixEdwin Brady12 years ago 437b9f7Disable reg052 on js backendEdwin Brady12 years ago bc8fa59Merge pull request #1604 from evanrinehart/bits-rts-bugEdwin Brady12 years ago 9927735Merge pull request #1600 from markuspf/cast-fix-masterEdwin Brady12 years ago 4abeeebMerge pull request #1598 from jfdm/tidyup/lift-todos-2Edwin Brady12 years ago 7a30e5dEnabled reg052 in travis and update its outputEdwin Brady12 years ago be386bdfix for bugs in the bits primitive operationsEvanR12 years ago