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
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.