git.iko.soy/Idris-dev
on abc2002 help sign in
abc2002Merge pull request #1623 from edwinb/patvarsEdwin Brady 6e74e33Fix for pattern vars in transformsEdwin Brady 2f26892Merge pull request #1622 from edwinb/case-fixEdwin Brady 8e26550Merge pull request #1621 from trillioneyes/repl-definitionsEdwin Brady 72b9e95Merge pull request #1618 from jfdm/tidyup/lift-todos-3Edwin Brady e1d40fcMerge branch 'master' of git://github.com/idris-lang/Idris-dev into case-fixEdwin Brady 2878ff3Solve more implicits before 'case' elaborationEdwin Brady 1c8c27eMerge branch 'master' of https://github.com/idris-lang/Idris-dev into repl-definitionsAlyssa Carter c7e8834:let at the REPL now supports syntax extensions!Alyssa Carter 37eae55Factor `addSyntax` out of `syntaxDecl` parserAlyssa Carter d46d65eMerge pull request #1613 from david-christiansen/doc-examplesDavid Christiansen 76ab2e2Lifted the TODOs from Primitives.hsJan de Muijnck-Hughes 54dbb85Added TODOs and FIXMEs from the Elaborator for Data.Jan de Muijnck-Hughes 8698afcRemoved old comment from `src/Idris/Elab/Data.hs`Jan de Muijnck-Hughes c2c6666Lifted TODOs and FIXMEs from clause and instance elaboratorJan de Muijnck-Hughes 16ff91fAdd syntax for example code to docsDavid Raymond Christiansen b65d2c4Merge pull request #1586 from Helkafen/hashDavid Christiansen 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