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