This is a demo instance. Do not store any relevant data here. You can use the user 'demo' and password 'password' to login.
avatar

MSP Group

@mspstrath@mastodon.acm.org

Joined: 01/19/2024



About MSP Group

Mathematically Structured Programming group @ The University of Strathclyde

We are interested in type theory, category theory, and how to stop seeing them as different things.

Toots by @jfdm && @dylan &&
@dilsatby

Lists

mspstrath has no public lists

Timeline

mspstrath has no activity yet