Jesper Agdakx 🔸 on Nostr: New inconsistency in #Agda just dropped: github.com/agda/agda/issues/7751
New inconsistency in #Agda just dropped: github.com/agda/agda/issues/7751
Published at
2025-03-18 13:22:02Event JSON
{
"id": "575bde0ed851c14e1f8b023b0efcff987245f605d1cc38b93e3943203b27d328",
"pubkey": "2a1e7bc1546b32c5b09fdd4ac64745041dfece34e5f82d70027fa05539b008b9",
"created_at": 1742304122,
"kind": 1,
"tags": [
[
"t",
"agda"
],
[
"proxy",
"https://agda.club/objects/72be16ae-d8c3-4dbe-a8d2-85325dc0e888",
"activitypub"
]
],
"content": "New inconsistency in #Agda just dropped: github.com/agda/agda/issues/7751",
"sig": "cad252c183511bebb25021ce1e6c1132f51816647f25553c5eb9a1d38766d6ddd7299f1f972f45eacdb3e48f9f580d25ec961ffc8e7c9c0202346c29850d7e3b"
}
