Closed ehildenb closed 4 years ago
Blocked on #173
This makes the types stronger for each of Wad/Ray/Rad, by making them wrapped rationals instead of just sort synonyms for rationals.
Wad/Ray/Rad
The benefit here is that we get sort-checking now for each operation we use.
Blocked on #173
This makes the types stronger for each of
Wad/Ray/Rad, by making them wrapped rationals instead of just sort synonyms for rationals.The benefit here is that we get sort-checking now for each operation we use.