6 Feb
2019
6 Feb
'19
8:45 p.m.
On 2/6/19 10:33 AM, Matthew Pickering wrote:
This question is answered in section 4.3 of the paper.
Is there a package containing SameRepAs and other such convenient newtypes on Hackage or Github? Cheers, Li-yao