[MLton-devel] monomorphisation and the opus

[Henry Cejtin]

I agree that a logician's notion of a formal proof sounds very messy, but
I think that what a mathematician would call a proof would certainly be
desirable.  I don't know of a non-messy way to do it though.


-------------------------------------------------------
Enterprise Linux Forum Conference & Expo, June 4-6, 2003, Santa Clara
The only event dedicated to issues related to Linux enterprise solutions
www.enterpriselinuxforum.com

_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel