Can’t edit so adding: I write OCaml but am open minded. HM = Hindley-Milner My email is in my profile please feel free to get in touch regarding type checkers

Can’t edit so adding: I write OCaml but am open minded. HM = Hindley-Milner My email is in my profile please feel free to get in touch regarding type checkers! Here is a type checker, lacking inferring, for tagged unions. What I need to figure out is how integrate this with the unification algo http://www.martinjosefsson.com/ocaml/compiler/interpreter/typecheck/type/2021/09/15/Simple_Union_Type_Enum_type_checker_in_OCaml.html http://www.martinjosefsson.com/ocaml/compiler/interpreter/ty...