πŸ“• Node [[programming languages]]
πŸ“„ programming-languages.org by @jakeisnt
  • Languages
    • DSLs
  • Work
  • Research
  • Lean
  • blurring the curry howard line
  • future reading
    • toy lang
    • ???
  • 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.md by @ryan

programming languages

Loading pushes...

Rendering context...

πŸ“• Node [[programminglanguages]] pulled by the Agora