Mercurial > urweb
diff demo/listShop.ur @ 397:4d519baf357c
ListShop skeleton
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 21 Oct 2008 12:06:35 -0400 |
parents | |
children | ab3177746c78 |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/demo/listShop.ur Tue Oct 21 12:06:35 2008 -0400 @@ -0,0 +1,16 @@ +structure I = struct + type t = int +end + +structure S = struct + type t = string +end + +structure IL = ListFun.Make(I) +structure SL = ListFun.Make(S) + +fun main () = return <xml><body> + Pick your poison:<br/> + <li> <a link={IL.main ()}>Integers</a></li> + <li> <a link={SL.main ()}>Strings</a></li> +</body></xml>