Ah. I added a dependency to Agda. So every module has to rebuild
Follow
(the dependency, unix, is a boot library: I need it to tell whether stdout is a terminal. since it's a boot library, Agda users do not have compile it. don't worry)
@amy For example in university machines.
@MartinEscardo If you have a functioning GHC on Linux or macOS, it ships with the unix library. On Windows systems, the dependency is not present
@amy May this cause problems to users who don't have sudo access and want to install Agda locally?