24 Sep
2020
24 Sep
'20
5:30 p.m.
Mike wrote:
In order to become the de-facto standard way to annotate custom types, it would be great, if the dependency on mp11 could be removed, but it would certainly be useful to us with that dependency too.
Annotating the types should work without Mp11;