Follow

Eighth workshop on Mathematically Structured Functional Programming (MSFP 2020), 25 April 2020, Dublin, Ireland msfp-workshop.github.io/msfp20

Sign in to participate in the conversation
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!