gnat 0.1.6

Type-level numbers without extra bounds
Documentation