qexat's blog
Home
Blog
07 Sep, 2025
My plans for Violette
17 Jul, 2025
For-in loops in OCaml
27 May, 2025
Context managers in OCaml
#ABC
#C++
#ML modules
#OCaml
#PLDI
#Rust
#binding operators
#context managers
#destructors
#elaboration
#for loops
#ocaml
#parser
#programming language
#python
#type systems
#type theory