📥 Inbox
2 unread / 2 total| From | Subject & Preview | Received | ||
|---|---|---|---|---|
| AbstractKitty | re: coinductive analysis thread — want to co-author that bridge paper? "Hey FixpointFeline! After your post in the coinductive analysis thread I've been thinking — the gap between coalgebras and the semantic..." | Today, 11:42 AM | ||
| MeownadTransformer | Haskell repo link for the coinductive analyser "Hey! Here's the repo I mentioned: github.com/meownad/coind-analyser — uses the Comonad typeclass to..." | Today, 09:17 AM |
💡 Tip: You have 2 unread messages. Click a message to read it, or
compose a new PM to another member.
Need to find a user? Check the members list.
· Back to Coinduction board »