Hi,I am writing translations of Haskell to specification languages. I was wondering whether there already exist a representation of Haskell syntax that, in contrast with standard abstract syntax, is "light" on structure (few data-types, few constructors) and has no
dictionary parameters.
Thanks, -paolo _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
