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
Follow
I have spent literally 2 hours recompiling agda over and over because of this goddamn library
