λm.me/blog

Posts

  • 2023-09-30 - Implementing kind inference
  • 2021-04-13 - Typing polymorphic variants in Giml
  • 2021-04-10 - Typing extensible records in Giml
  • 2021-04-06 - Giml's type inference engine
Feed
Powered by Hablog