Update ALS WASM to build with Agda v2.8.0 #80

Job	Run time
build-and-test (ubuntu-latest, Agda-2.7.0.1)	1m 22s
build-and-test (ubuntu-latest, Agda-2.6.4.3)	1m 18s
build-and-test (macos-latest, Agda-2.6.4.3)	5m 0s
build-and-test (macos-latest, Agda-2.7.0.1)	4m 25s
build-and-test (macos-latest, Agda-2.8.0)	4m 57s
build-and-test (ubuntu-latest, Agda-2.8.0)	1m 20s
build-and-test (macos-13, Agda-2.7.0.1)	11m 24s
build-and-test (macos-13, Agda-2.6.4.3)	8m 59s
build-and-test (windows-latest, Agda-2.8.0)	3m 21s
build-and-test (macos-13, Agda-2.8.0)	12m 24s
build-and-test (windows-latest, Agda-2.7.0.1)	4m 40s
build-and-test (windows-latest, Agda-2.6.4.3)	3m 20s
Build WASM	0s
	1h 2m 30s

Provide feedback