Explore >> Select a destination
|
You are here 
|
bartoszmilewski.com | ||
| | | | |
blog.sigfpe.com
|
|
| | | | | [AI summary] An in-depth technical exploration demonstrating how Haskell monads can be formally defined as monoids in the category of endofunctors using abstract categorical logic and functional programming code. | |
| | | | |
jackkelly.name
|
|
| | | | | ||
| | | | |
jao.io
|
|
| | | | | ||
| | | | |
xenaproject.wordpress.com
|
|
| | | A huge amount happened in the Lean theorem prover community in 2023; this blog post looks back at some of these events, plus some of what we have to look forward to in 2024. Modern mathematics I personally am a member of the Lean community because of its phenomenal mathematics library mathlib, which was born... | ||
