marcoonroad/subtype-refinement

Refinement types encoded with private types in OCaml. :roll_eyes: :camel: :microscope: :books:

语言：OCaml · GitHub 星标：11 · Fork：1

话题：ocaml · refinement-types

在 GitHub 上查看原仓库