Does anybody has an hands on experience of using Chuan-Kai Lin's Unimo framework? https://sites.google.com/site/chklin/research It looks interesting but it seems it amounts to add an extra layer of interpretation (the monads encoding as a data type) and the paper lacks examples of actual uses of the framework.
jld _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
