rational_in_types. Type-level rational puzzles in OCaml

github.com/Octachron/rational_in_types

Problem

Audience

Updates

No founder updates yet. Check back soon.