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))
+