Sorry Poly/ML listers, that was supposed to go to the Quantomatic mailing list. I'll try to pay more attention in the future....
a On 5 July 2012 13:15, Aleks Kissinger <[email protected]> wrote: > This is a question mainly for Lucas. Probably we've been over this > before, but I don't remember well. > > 1. What is included in these two things separately? It seems to me the > BasicXXXFun's only define getters, setters, and pretty print. I.e. > they are dumb data structures. > > 2. Why are they needed? _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
