Andrew Martin
|
1908d53a14
|
Rename library to bytebuild. Use Data.Bytes namespace.
|
2020-02-27 14:00:35 -05:00 |
|
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 |
|