Add rlwrap to idris dev

This commit is contained in:
Nathan McCarty 2022-10-27 16:19:47 -04:00
parent 55d1b50998
commit fca0155d5b
Signed by: thatonelutenist
GPG Key ID: D70DA3DD4D1E9F96
1 changed files with 1 additions and 0 deletions

View File

@ -76,6 +76,7 @@ with nLib; {
inputs.idris2.packages."${pkgs.system}".idris2 inputs.idris2.packages."${pkgs.system}".idris2
chez chez
gmp gmp
rlwrap
]; ];
}) })
]; ];