λm.me/blog

Posts

  • 13/04/2021 - Typing polymorphic variants in Giml
  • 10/04/2021 - Typing extensible records in Giml
  • 06/04/2021 - Giml's type inference engine
RSS feed
Powered by Hablog