2 search results for "author:"Zach Baylin <zbaylin@gmail.com>""

Showing 1 - 2
  1. Type equality proofs for OCaml 4
    0.0.1
    MIT
    Used by 1 other packages
    26 Jan 2024
  2. Type identifiers, useful for runtime type-safe casting/coersions
    0.0.1
    MIT
    Used by 0 other packages
    12 Feb 2024