Mercurial > urweb
annotate 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 |
| rev | line source |
|---|---|
| adamc@397 | 1 structure I = struct |
| adamc@397 | 2 type t = int |
| adamc@397 | 3 end |
| adamc@397 | 4 |
| adamc@397 | 5 structure S = struct |
| adamc@397 | 6 type t = string |
| adamc@397 | 7 end |
| adamc@397 | 8 |
| adamc@397 | 9 structure IL = ListFun.Make(I) |
| adamc@397 | 10 structure SL = ListFun.Make(S) |
| adamc@397 | 11 |
| adamc@397 | 12 fun main () = return <xml><body> |
| adamc@397 | 13 Pick your poison:<br/> |
| adamc@397 | 14 <li> <a link={IL.main ()}>Integers</a></li> |
| adamc@397 | 15 <li> <a link={SL.main ()}>Strings</a></li> |
| adamc@397 | 16 </body></xml> |