Wasm input#23

flupe wants to merge 2 commits intoagda:masteragda/agda2lambox:masterfrom

flupe:wasm-inputflupe/agda2lambox:wasm-inputCopy head branch name to clipboard