KunihikoK3

Results 1 issues of KunihikoK3

`def myGroup := PresentedGroup {.of () ^ 3} deriving Group` gives the error `invalid dotted identifier notation, expected type is not of the form (... → C ...) where C...