4 Commits

Author SHA1 Message Date
mratsim
d46815e1e5 Add failing negate test 2018-04-03 10:38:37 +02:00
Yuriy Glukhov
7e30db5e69 Serialization and stringification (#8) 2018-03-22 10:14:12 +01:00
Yuriy Glukhov
beaf9fb7e3 Use NumBits as generic param 2018-03-20 22:41:58 +02:00
Yuriy Glukhov
4e46500292 Generalize UInt 2018-03-12 09:42:05 +02:00