| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | removed outcommented example which seems not to work as advertized | changeset | files |
| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | clear separation of types for bits (False / True) and Z2 (0 / 1) | changeset | files |
| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | generalized type classes for parity to cover word types also, which contain zero divisors | changeset | files |