From 1cea3014410f146ccdde68b9f87b53fccc77dafc Mon Sep 17 00:00:00 2001
From: anemofilia <anemofilia@disroot.org>
Date: Sat, 30 Sep 2023 13:33:38 -0300
Subject: [PATCH] feat: add a idris manifest for when I get time to hack with
 it

---
 manifests/idris.scm | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 manifests/idris.scm

diff --git a/manifests/idris.scm b/manifests/idris.scm
new file mode 100644
index 0000000..68eeeb3
--- /dev/null
+++ 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))
+