Open FlorentinD opened 4 years ago
The idea is to annotate the classes like DMonoid with a comment like // PRIMITIVE CLASS - FLOAT NAME: FMonoid
DMonoid
// PRIMITIVE CLASS - FLOAT NAME: FMonoid
The idea is to annotate the classes like
DMonoid
with a comment like// PRIMITIVE CLASS - FLOAT NAME: FMonoid