polymorphic-variants topic

List polymorphic-variants repositories

rational_in_types

21
Stars
1
Forks
Watchers

Type-level rational puzzles in OCaml

verified publisher icon Octachron