Mathijs Kwik wrote: > > http://moonpatio.com/fastcgi/hpaste.fcgi/view?id=2575#a2575 > I wanted to use the typesystem to mandate businesslogic (in this case > w3c validation rules).
You may want to have a look at Peter Thiemann's WASH/HTML http://www.informatik.uni-freiburg.de/~thiemann/WASH/#washhtml which can statically ensure that only well-formed (with a few minor caveats I think) HTML is generated. Regards, apfelmus -- http://apfelmus.nfshost.com _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
