AN

andreypopp/type-systems

Playing with type systems

hindley-milner ocaml type-inference type-systems typeclasses

No README found.

Languages

OCaml99.7%Dune0.1%Makefile0.1%

Created October 15, 2021

Updated May 31, 2025

andreypopp/type-systems | GitHunt