Explore >> Select a destination
|
You are here 
|
tomasp.net | ||
| | | | |
rakhim.org
|
|
| | | | | [AI summary] A summary of Bartosz Milewski's talk exploring the equivalence between type theory, logic, category theory, and computer science through concepts like composition, Curry-Howard isomorphism, and continuations. | |
| | | | |
argumatronic.com
|
|
| | | | | Occasional writings about Haskell. | |
| | | | |
existentialtype.wordpress.com
|
|
| | | | | The Christian doctrine of trinitarianism states that there is one God that is manifest in three persons, the Father, the Son, and the Holy Spirit, who together form the Holy Trinity. The doctrine of computational trinitarianism holds that computation manifests itself in three forms: proofs of propositions, programs of a type, and mappings between... | |
| | | | |
mmhaskell.com
|
|
| | | Monads are viewed as one of the harder topics to learn in Haskell. But they don't have to be. Learn monads the easy way, by first looking at other functional structures like functors and applicatives. | ||
