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
• 13/03/2021 - Strema is now Giml