summary refs log tree commit diff
path: root/gnu/packages/idris.scm
AgeCommit message (Expand)Author
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