The monad and examples from Haskell
A computer-checked library for Category Theory in Lean
More Info
expand_more
expand_more
Abstract
Category Theory is a widely used field of Mathematics.
Some concepts from it are often used in functional programming.
This paper will focus on the Monad and a few implementations of it from Haskell.
We will also present the computer-checked library we have written to help us in this task.
Files
Final_Paper_1.pdf
(.pdf | 0.212 Mb)