git.iko.soy/Idris-dev
on master help sign in
history of43ffd25..master
compare
16ff91fAdd syntax for example code to docsDavid Raymond Christiansen b65d2c4Merge pull request #1586 from Helkafen/hashDavid Christiansen 6f92c44More docs for Prelude.Listjohnny-john cb5ed53Added TODOs from IdeSlave.hsJan de Muijnck-Hughes 8430f90Improved docs for Data.HashSebastian de Bellefon 3def279Take basic011 out of the javascript test suiteSebastian de Bellefon f33ce93Add Hash tests files to cabalSebastian de Bellefon e76e6d4Make Data.Hash totalSebastian de Bellefon 8695823Data.Hash librarySebastian de Bellefon 8ad2124Merge pull request #1609 from johnny-john/vectfuncsDavid Christiansen 404d25fMerge pull request #1608 from edwinb/nomallocEdwin Brady d94bac1Adding functions to Prelude.Vectjohnny-john dd86a35Be free of mallocEdwin Brady 9d1d508Merge pull request #1585 from RyanGlScott/masterEdwin Brady 457b08aMerge pull request #1605 from edwinb/reg052-fixEdwin Brady 437b9f7Disable reg052 on js backendEdwin Brady bc8fa59Merge pull request #1604 from evanrinehart/bits-rts-bugEdwin Brady 9927735Merge pull request #1600 from markuspf/cast-fix-masterEdwin Brady 4abeeebMerge pull request #1598 from jfdm/tidyup/lift-todos-2Edwin Brady 7a30e5dEnabled reg052 in travis and update its outputEdwin Brady be386bdfix for bugs in the bits primitive operationsEvanR 6184856fix to some "obvious" bugs in BitsN primopsEvanR 8c8ad97Make Cast instance for Nat to Int tail recursiveMarkus Pfeiffer 6a0f2f8Added TODO for DataOpts.hsJan de Muijnck-Hughes 809c259Added TODOs from ParseData.hs and remove redundant comments.Jan de Muijnck-Hughes 7324c04Added FIXME for DumbBc.hsJan de Muijnck-Hughes cf51756Added TODOs for ParseHelpers.hsJan de Muijnck-Hughes c5eb90cAdded TODOs for Unlit.hsJan de Muijnck-Hughes a057d03Added FIXME from Chaser.hs.Jan de Muijnck-Hughes 034ea04Added TODOs and FIXMEs for Delaborate.hsJan de Muijnck-Hughes d9b4c4cFix for optparse-applicative breaking changeRyanGlScott 7dfbfacMerge pull request #1584 from raichoo/masterraichoo eb9eaddjavascript: fix for #1580raichoo 2c9875fMerge pull request #1583 from raichoo/masterraichoo 981b29fjavascript: fix ffiWrap for zero argument functionsraichoo 44ec9a2Merge pull request #1582 from edwinb/partial-evalEdwin Brady 146858dImplement transformation rulesEdwin Brady 869e6caMerge branch 'master' of git://github.com/idris-lang/Idris-dev into partial-evalEdwin Brady 37748ceAdd transformation rules for partial evaluationEdwin Brady b65a1c2Merge pull request #1579 from david-christiansen/docsDavid Christiansen 17e042bDocumentation improvements in libraryDavid Raymond Christiansen a5a63fcMerge pull request #1578 from jfdm/tidyup/lift-todos-1David Christiansen a4faccbMerge pull request #1570 from jfdm/fixme/code-deletionDavid Christiansen 17c537fMerge pull request #1571 from david-christiansen/nested-qquoteDavid Christiansen bc74c4fAdded REPL FIXMEs to the issue tracker.Jan de Muijnck-Hughes 5dcb90eAdded parser FIXMEs to the issue tracker.Jan de Muijnck-Hughes b65e8acLinked TODO issue found in Docs.Jan de Muijnck-Hughes d081b00Added TODO found in Package.hsJan de Muijnck-Hughes cf3c47dRemoved dead commented out code.Jan de Muijnck-Hughes 7383b1cSupport nested quasiquotationDavid Raymond Christiansen