Skip to content

Resolve "Data-encoding: generalize the `obj` axioms"

Guillaume Claret requested to merge 23-data-encoding-generalize-the-obj-axioms into master

Closes #23 (closed)

Edited by Guillaume Claret

Merge request reports