m4lvin is a user on scholar.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
Day three of our course "Functional Programming for Logicians" and my first try at explaining Monads "theory first". Feel free to follow along here: https://malv.in/2018/funcproglog/
#haskell #monads #categorytheory #logic
@m4lvin Good slides and a lot of useful links. Thanks for sharing this with us! 👍