aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
Commit message (Expand)AuthorAge
* gnu: idris: Fix idris-default-arguments.Peter Mikkelsen2017-04-15
* gnu: idris: Update to 1.0.Peter Mikkelsen2017-04-15
* gnu: idris: Update to 0.99.1.Peter Mikkelsen2017-03-23
* gnu: Add idris-lens.David Craven2017-01-04
* gnu: Add idris-bifunctors.David Craven2017-01-04
* gnu: Add idris-wl-pprint.David Craven2017-01-04
* gnu: Add idris-lightyear.David Craven2017-01-04
* gnu: idris: Move to (gnu packages idris).David Craven2017-01-04