I hope that one day someone other than me will believe this...https://twitter.com/edwinbrady/status/1265727110036979714 …
-
-
Yep. After getting rid of TH, Agda can now be typechecked without generating any code and it makes a *massive* difference.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Yeah, optimizations are a huge cost. If you use `-fno-code` it's actually pretty fast!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.