scrambled
Thoughts
Journeys
Reads
Sign in
Sign in
← back to journey
Kitchen
/
Journeys
/
Programming language theory
/
Blogs
Sites
Existentialtype.wordpress.com
- Robert Harper
Boolean blindness
Matklad.github.io
- Alexey Kladov (Matklad)
Notes on module systems
Push ifs up and fors down