[m-dev.] discussion about the implementation of compact type representations

Michael Day mikeday at yeslogic.com
Mon Oct 30 12:42:02 AEDT 2017

> Attached is a set of proposals that I would like your opinions on.
> Which parts do you agree with and which parts do you disagree with?
> Do you have a better idea for any component?

Sounds sensible to me, although I'm curious about why types with user 
defined equality can't be no-tag types.


Prince: Print with CSS!

More information about the developers mailing list