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
nprofile1qqs92p6m3lkgfzrzzpkdng59t2ec57qgw09cmssmdwmyskeujvvvw2sppamhxue69uhkummnw3ezumt0d5q3gamnwvaz7tmjv4kxz7fwv3sk6atn9e5k7n3tun6Author Public Key
npub125r4hrlvsjyxyyrvmx3g2k4n3fuqsu7t3hppk6akfpdneycccu4qpx83fx