James Martin

Despite the branch being super old there are still no merge conflicts and it's impossible to play freeplay without it. Merging this is a no-brainer. Pinging @ninjamuffin99 because this PR...

ghcup supports GHC 8.8 so that's a lot more convenient for me. I'll see if I can use it next time I find a regression between my oldest installed version...

Another small example: ```agda {-# OPTIONS --without-K --prop #-} open import Agda.Builtin.Equality data _≐_ {ℓ} {A : Set ℓ} (x : A) : A → Prop ℓ where refl' :...

Uname `Linux jazz 6.1.0-7-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.20-1 (2023-03-19) x86_64 GNU/Linux`. The error includes in a loop, happening after 3 seconds, then after 15 seconds, and then after 3...

I actually *didn't* put it together! It's a community website and all of those languages were added to the site by their respective creators. Likewise, the 95 language channels on...