From fca0155d5b4eb86642f25a93435650e64ae578b9 Mon Sep 17 00:00:00 2001
From: Nathan McCarty <nathan@mccarty.io>
Date: Thu, 27 Oct 2022 16:19:47 -0400
Subject: [PATCH] Add rlwrap to idris dev

---
 home-manager/common/programs/devel.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/home-manager/common/programs/devel.nix b/home-manager/common/programs/devel.nix
index 0a046fa..1f9c534 100644
--- a/home-manager/common/programs/devel.nix
+++ b/home-manager/common/programs/devel.nix
@@ -76,6 +76,7 @@ with nLib; {
         inputs.idris2.packages."${pkgs.system}".idris2
         chez
         gmp
+        rlwrap
       ];
     })
   ];