A detailed explanation of why I chose OCaml as the ‘default’ programming language for every project.| xvw.lol
Implementation of "guarded methods" using type equality witnesses| xvw.lol
