libicu is my mortal enemy. Every time I need to build agda it seems to break in new and awful ways. For some reason the source files you can get all have windows line endings. Absolutely livid lol


I have spent literally 2 hours recompiling agda over and over because of this goddamn library

Sign in to participate in the conversation

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