You are here |
bruceeckel.com | ||
| | | |
degoes.net
|
|
| | | | Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts | |
| | | |
adv-r.had.co.nz
|
|
| | | | ||
| | | |
theartofmachinery.com
|
|
| | | | ||
| | | |
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... |