/rational_in_types

Type-level rational puzzles in OCaml

Primary LanguageOCaml

Watchers