Drup's thingies

Tags

  • #OCaml
  • #Mirage
  • #braindump
  • #functor-stack-oriented-development
  • #gadt
  • #typing-tricks
  • #existential-overflow-crisis
  • #regex
  • #tyre
  • #announcement
  • #types
  • #regular-fishing
  • #Eliom
  • #Ocsigen
  • #PhD
  • #Regex
  • #Quine
  • #Reason
  • #tyxml
  • About
  • Tags
  • Archives

Recent posts

  • A reasonable TyXML release
  • Ann: A new ppx for tyre and new version of ppx_regexp
  • An OCaml quine
  • Ann: Regenerate
  • PhD Thesis: Tierless Web programming in ML
  • News about Tyre
  • Ann: Pumping
  • Ann: Typed regular expressions
  • Typing Tricks: Diff lists
  • First steps in mirage
Powered by Jekyll with TchTheme