Type Theory Forall - #38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen
Sign in to continue reading, translating and more.
