On 11/05/2011 11:07 AM, Martin Baker wrote:
I find myself wanting a way to define types inductively like this:
X := Union(A,T X)
Have you studied Aldor-Combinat? I'm not sure whether it helps you with
monads, though. But it has some code to define inductive types...
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
