anima-wg / voucher

Other
0 stars 3 forks source link

Terminology edits #28

Closed mcr closed 1 year ago

mcr commented 1 year ago

This pull request deals with many of the open issues, starting from changes to terminology, and then going through in an attempt to use the terminology in a consistent and orderly way.