7 Jun
2009
7 Jun
'09
11:38 a.m.
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