Ah. I added a dependency to Agda. So every module has to rebuild

(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 May this cause problems to users who don't have sudo access and want to install Agda locally?


@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

Sign in to participate in the conversation

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.