12 lines
185 B
Scheme
12 lines
185 B
Scheme
|
(use-modules
|
||
|
|
(guix profiles)
|
||
|
|
(gnu packages idris)
|
||
|
|
(gnu packages emacs-xyz))
|
||
|
|
|
||
|
|
(packages->manifest
|
||
|
|
(list idris
|
||
|
|
idris-lightyear
|
||
|
|
idris-bifunctors
|
||
|
|
idris-lens))
|
||
|
|
|