aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
AgeCommit message (Expand)Author
2017-11-13gnu: Move web packages from haskell to haskell-web....Ricardo Wurmus
2017-11-13gnu: Move testing packages from haskell to haskell-check....Ricardo Wurmus
2017-04-15gnu: idris: Fix idris-default-arguments....Peter Mikkelsen
2017-04-15gnu: idris: Update to 1.0....Peter Mikkelsen
2017-03-23gnu: idris: Update to 0.99.1....Peter Mikkelsen
2017-01-04gnu: Add idris-lens....David Craven
2017-01-04gnu: Add idris-bifunctors....David Craven
2017-01-04gnu: Add idris-wl-pprint....David Craven
2017-01-04gnu: Add idris-lightyear....David Craven
2017-01-04gnu: idris: Move to (gnu packages idris)....David Craven