λ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