Type Theory Forall - #11 FP, Monads, GHC, and beyond - Alejandro Serrano
Sign in to continue reading, translating and more.