Ah. I added a dependency to Agda. So every module has to rebuild
@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
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
(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)