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