2 search results for "author:"Zach Baylin <zbaylin@gmail.com>""
Showing 1 - 2
-
Type equality proofs for OCaml 40.0.1MITUsed by 1 other packages26 Jan 2024
-
Type identifiers, useful for runtime type-safe casting/coersions0.0.1MITUsed by 0 other packages12 Feb 2024