Posts

• 2021-04-13 - Typing polymorphic variants in Giml
• 2021-04-10 - Typing extensible records in Giml
• 2021-04-06 - Giml's type inference engine
• 2021-03-13 - Strema is now Giml
• 2021-02-11 - Live coding a compiler