diff --git a/home-manager/common/programs/core.nix b/home-manager/common/programs/core.nix
index 6d26a33..3cdafc9 100644
--- a/home-manager/common/programs/core.nix
+++ b/home-manager/common/programs/core.nix
@@ -221,6 +221,7 @@ with lib; {
           cat = "bat";
           dig = "dog";
           df = "duf";
+          idris2 = "rlwrap -s 1000 idris2 --no-banner";
         };
         # Custom configuration
         interactiveShellInit = ''