3 ms·
> make 'data' types strict by default and 'codata' types lazy by default Coq has been doing exactly this for over a decade...
by KirillPanov 3y ago
> make 'data' types strict by default and 'codata' types lazy by default
Coq has been doing exactly this for over a decade...