This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
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.
Lists
mspstrath has no public lists
Timeline
mspstrath has no activity yet