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 Jan de Muijnck-Hughes (npub197k…zday) && Dylan Braithwaite (npub1ztt…uhp3) &&
Dilsat (npub1k6z…s0ul)
location: Glasgow, UK
www: https://msp.cis.strath.ac.uk/
twitter: https://twitter.com/mspstrath
We are interested in type theory, category theory, and how to stop seeing them as different things.
Toots by Jan de Muijnck-Hughes (npub197k…zday) && Dylan Braithwaite (npub1ztt…uhp3) &&
Dilsat (npub1k6z…s0ul)
location: Glasgow, UK
www: https://msp.cis.strath.ac.uk/
twitter: https://twitter.com/mspstrath
Public Key
npub125r4hrlvsjyxyyrvmx3g2k4n3fuqsu7t3hppk6akfpdneycccu4qpx83fxNIP-05 Address
mspstrath_at_mastodon.acm.org@momostr.pinkProfile Code
nprofile1qqs92p6m3lkgfzrzzpkdng59t2ec57qgw09cmssmdwmyskeujvvvw2spz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dsmw65zfAuthor Public Key
npub125r4hrlvsjyxyyrvmx3g2k4n3fuqsu7t3hppk6akfpdneycccu4qpx83fx