zero/home-environments/radio/manifests/idris.scm

10 lines
207 B
Scheme
Raw Permalink Normal View History

2024-03-08 14:32:05 +00:00
(use-modules (guix profiles)
(gnu packages idris)
(gnu packages emacs-xyz))
(packages->manifest
(list idris
idris-lightyear
idris-bifunctors
idris-lens))