Jesper Agdakx 🔸 on Nostr: #Agda compiled to #WebAssembly and running in the browser ...
#Agda compiled to #WebAssembly and running in the browser observablehq.com/@qbane/agda-web 👀
Published at
2024-07-26 12:50:28Event JSON
{
"id": "447184e26f561fb9a199b953a395659af7f566e0add79fb2c609b0764190ff93",
"pubkey": "2a1e7bc1546b32c5b09fdd4ac64745041dfece34e5f82d70027fa05539b008b9",
"created_at": 1721998228,
"kind": 1,
"tags": [
[
"t",
"agda"
],
[
"t",
"webassembly"
],
[
"proxy",
"https://agda.club/objects/3a1c15e8-860b-46a8-a680-0bb6447fe0b6",
"activitypub"
]
],
"content": "#Agda compiled to #WebAssembly and running in the browser observablehq.com/@qbane/agda-web 👀",
"sig": "714a93a761887a09feedfa1dbd2bc48b4424c97ecc77554381c77829621cb120e19d74ecb919ca2cc5010f3b14e5bad93dfc61d4659889aeecd9bf207cf0c764"
}
