Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

Reply to @icedquinn@blob.cat
Blurry Moon@sun@shitposter.world (2026-09-29 11:06:33)
@icedquinn @7666 link me to maude
---Reply---
Q.U.I.N.N.@icedquinn@blob.cat (2026-09-29 11:06:55)
@sun @7666 https://maude.cs.illinois.edu/ the docs are. very academic :|

---Replies---

Blurry Moon@sun@shitposter.world (2026-09-29 11:07:31)
@icedquinn @7666 claude explain maude to me