Josselin Poiret c1f8bcbbda gnu: Add agda-stdlib. ...

* gnu/packages/patches/agda-stdlib-use-runhaskell.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/agda.scm: New variable agda-stdlib.

2023-06-04 10:59:34 +02:00

853 B

Raw Permalink Blame History

View Raw