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 6184856fix to some "obvious" bugs in BitsN primopsEvanR12 years ago 8c8ad97Make Cast instance for Nat to Int tail recursiveMarkus Pfeiffer12 years ago 6a0f2f8Added TODO for DataOpts.hsJan de Muijnck-Hughes12 years ago 809c259Added TODOs from ParseData.hs and remove redundant comments.Jan de Muijnck-Hughes12 years ago 7324c04Added FIXME for DumbBc.hsJan de Muijnck-Hughes12 years ago cf51756Added TODOs for ParseHelpers.hsJan de Muijnck-Hughes12 years ago c5eb90cAdded TODOs for Unlit.hsJan de Muijnck-Hughes12 years ago a057d03Added FIXME from Chaser.hs.Jan de Muijnck-Hughes12 years ago 034ea04Added TODOs and FIXMEs for Delaborate.hsJan de Muijnck-Hughes12 years ago d9b4c4cFix for optparse-applicative breaking changeRyanGlScott12 years ago 7dfbfacMerge pull request #1584 from raichoo/masterraichoo12 years ago eb9eaddjavascript: fix for #1580raichoo12 years ago 2c9875fMerge pull request #1583 from raichoo/masterraichoo12 years ago 981b29fjavascript: fix ffiWrap for zero argument functionsraichoo12 years ago 44ec9a2Merge pull request #1582 from edwinb/partial-evalEdwin Brady12 years ago 146858dImplement transformation rulesEdwin Brady12 years ago 869e6caMerge branch 'master' of git://github.com/idris-lang/Idris-dev into partial-evalEdwin Brady12 years ago 37748ceAdd transformation rules for partial evaluationEdwin Brady12 years ago b65a1c2Merge pull request #1579 from david-christiansen/docsDavid Christiansen12 years ago a1c7a5aUpdate READMEMarkus Pfeiffer12 years ago 1a30718Update READMEMarkus Pfeiffer12 years ago d99ce6eAdapt README to reflect the current state of code generators.Markus Pfeiffer12 years ago