gaytabasedysfun@treehouse.systems
Oct 14, 2026, 8:52 PM@mcc pack is just a package manager for idris. all it really does apart from install idris and idris packages is wrap the idris2 command.
@mcc pack is just a package manager for idris. all it really does apart from install idris and idris packages is wrap the idris2 command.