comparison tests/show.ur @ 286:ffe5b01908ae
'show' type class; htmlification optimizations
| author |
Adam Chlipala <adamc@hcoop.net> |
| date |
Sun, 07 Sep 2008 10:48:51 -0400 |
| parents |
|
| children |
|
comparison
equal
deleted
inserted
replaced
| |
1 fun main () : transaction page = return <html><body> |
| |
2 6 = {cdata (show _ 6)}<br/> |
| |
3 12.34 = {cdata (show _ 12.34)}<br/> |
| |
4 Hi = {cdata (show _ "Hi")}<br/> |
| |
5 False = {cdata (show _ False)}<br/> |
| |
6 </body></html> |
