[clean-list] typical synergy in Clean

[Carlos Aya]

Dear Clean team,

It is possible to have a Clean example of this paper's result?

http://www.st.cs.ru.nl/papers/2010/noot10-IFL09-a-typical-synergy.pdf
(A Typical Synergy: Dynamic Types and Generalised Algebraic Datatypes)

I think it's not yet possible -skiming thru the reference pages- but wanted to double check.

If not possible, is this a feature for Clean 3.0?

Thanks in advance,
Carlos


      
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.science.ru.nl/pipermail/clean-list/attachments/20100530/fd0a3bf6/attachment.html>