[Maude-users] type inference...?

[L.G. Meredith]

All,

This is a neophyte question from a neophyte user, but is there anyway in
Maude to get the minimal theory of a functional module?

Best wishes,

--greg

-- 
L.G. Meredith
Partner
Biosimilarity LLC
505 N 72nd St
Seattle, WA 98103

+1 206.650.3740
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://maude.cs.uiuc.edu/pipermail/maude-users/attachments/20060828/f0e18871/attachment.html