You're viewing the discuss.systems public feed.

Andre VidelaAndrev@types.pl
Oct 14, 2026, 10:49 PM
@mcc @dysfun Good call, it's also quite likely to be fixed with pack. Idris repo is much slower. Also the maintainer of pack also wrote the better idris2 tutorial so feedback there will also be welcome https://github.com/idris-community/idris2-tutorial
💬 1🔄 0⭐ 0

Replies

Andre VidelaAndrev@types.pl
Oct 14, 2026, 10:51 PM
@mcc @dysfun I forgot a crucial piece of information: If you use the repl, please use it with rlwrap. it's unusable without it. There is an option in pack.toml to make that the default
💬 0🔄 0⭐ 1