π Node [[programming languages]]
- Languages
- Work
- Research
- Lean
- blurring the curry howard line
- future reading
- Programming Languages
- Adjunction
- Strong Monad
- Monad
- Reflection
- Right Adjoint
- Left Adjoint
- Galois Connection
- term rewriting
- pl random link spit
- fun languages
- verification
- parsing
- type systems
- redex
- compilers
- meta
- Esolangs
programming languages
Rendering context...
pulled by the Agora