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
       ];
     })
   ];