diff options
author | Dougal <d.maclaurin@gmail.com> | 2022-05-24 23:51:42 -0400 |
---|---|---|
committer | Dougal <d.maclaurin@gmail.com> | 2022-05-25 13:54:54 -0400 |
commit | da51f864135430a90d3173d2618a6103633f601c (patch) | |
tree | 62c6c4fa31276943a5b9a69ab4698904af3194a7 /src/lib/PPrint.hs | |
parent | 7db21195b0b169e72bb3193d3508b04870740ae1 (diff) |
Use `Nat` instead of `Int` to represent ordinals and sizes.
Diffstat (limited to 'src/lib/PPrint.hs')
0 files changed, 0 insertions, 0 deletions