Skip to content

Fix version name typo

7c8e67b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

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

Fix version name typo
7c8e67b
Select commit
Loading
Failed to load commit list.