Explore >> Select a destination
|
You are here 
|
hookrace.net | ||
| | | | |
eli.thegreenplace.net
|
|
| | | | | ||
| | | | |
argumatronic.com
|
|
| | | | | Occasional writings about Haskell. | |
| | | | |
blog.thomasheartman.com
|
|
| | | | | In which we take a deep dive into the world of lists by looking at list creation, list comprehension, and about spines and non-strict evaluation. As it turns out, this has some pretty interesting implications. | |
| | | | |
julesh.com
|
|
| | | Geometry of Interaction (also known as the Int-construction) is an important construction in category theory that shows up the semantics of concurrency. It's also a contender for my favourite thing in category theory. It's one member of a whole zoo of things that look kinda like lenses but are a bit different. Back around 2017... | ||
