Skip to content

Add `encode_Z` function to encode element of countable type as `Z`.

Robbert Krebbers requested to merge robbert/encode_Z into master

Merge request reports