3 commits

Author	SHA1	Message	Date
Andrew Martin	a5bbf88e71	Avoid KnownNat constraints in favor of using Arithmetic.Types.Nat	2019-09-03 14:58:03 -04:00
Andrew Martin	2d1ea68261	Remove the word "Small" from module names. Move unsafe functions into modules suffixed with "Unsafe". Write a better IsString instance. Depend on natural-arithmetic.	2019-09-03 14:43:58 -04:00
Andrew Martin	ac3b03218b	add a benchmark	2019-07-05 12:35:05 -04:00