Temporarily bump maximum heap size

Even macOS runners have 14GB of RAM, so this might just go through CI?

Author: VojtechStep

Makefile

@@ -14,7 +14,9 @@ else
 	AGDA_MIN_HEAP ?= 4G
 endif
 
-AGDARTS := +RTS -H$(AGDA_MIN_HEAP) -M6G -RTS
+# Temporarily raise maximum heap size; should compile with the previous 6G
+# before merging
+AGDARTS := +RTS -H$(AGDA_MIN_HEAP) -M14G -RTS
 AGDAFILES := $(shell find src -name temp -prune -o -type f \( -name "*.lagda.md" -not -name "everything.lagda.md" \) -print)
 CONTRIBUTORS_FILE := CONTRIBUTORS.toml