feat: add a idris manifest for when I get time to hack with it

2023-09-30 13:33:38 -03:00 · 2023-09-30 13:33:38 -03:00 · 1cea301441
parent 5706721014
commit 1cea301441
1 changed files with 11 additions and 0 deletions
--- a/manifests/idris.scm
+++ b/manifests/idris.scm
@ -0,0 +1,11 @@
+(use-modules
+ (guix profiles)
+ (gnu packages idris)
+ (gnu packages emacs-xyz))
+
+(packages->manifest
+  (list idris
+        idris-lightyear
+        idris-bifunctors
+        idris-lens))
+