Re: [Haskell-cafe] Simple GADT parser for the eval example

2006-10-30 Thread Joost Visser
/listinfo/haskell-cafe -- Dr. ir. Joost Visser | Departamento de Informática phone +351-253-604461 | Universidade do Minho fax+351-253-604471 | mailto:[EMAIL PROTECTED] mobile +351-91-6253618 | http://www.di.uminho.pt/~joost.visser GadtParser.hs Description: Binary data

Re: [Haskell-cafe] Strafunski

2006-04-03 Thread Joost Visser
for Typeable and Data (personally, I prefer to use DriFT rather than the deriving clause, because it gives me a bit more control over visibility of instances). For details, see the section Supported models of functional strategies in the README file of StrategyLib. Regards, Joost -- Dr. ir. Joost