Closed lukaszcz closed 3 months ago
Field is really a type of field elements not of fields themselves. It seems more consistent to use a name that reflects this, e.g., Felt (like in Cairo). Then we could use Field for the type class of fields.
Field
Felt
Fieldis really a type of field elements not of fields themselves. It seems more consistent to use a name that reflects this, e.g.,Felt(like in Cairo). Then we could useFieldfor the type class of fields.