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