Octachron/rational_in_types

Type-level rational puzzles in OCaml

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

话题：ocaml · phantom-types · polymorphic-variants

在 GitHub 上查看原仓库