Andrew Martin
|
01bf4655e3
|
add benchmarks for encoding tree data structures
|
2019-09-22 09:20:03 -04:00 |
|
Andrew Martin
|
cd3631e5fd
|
Add a test for a very simple CSV encoding
|
2019-09-20 09:23:08 -04:00 |
|
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 |
|