Mercurial > urweb
comparison demo/metaform.urs @ 643:aa2290c32ce2
Avoid any JavaScript when pages don't need it; update demo prose
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 10 Mar 2009 10:44:26 -0400 |
parents | 6c4643880df5 |
children |
comparison
equal
deleted
inserted
replaced
642:4a125bbc602d | 643:aa2290c32ce2 |
---|---|
1 functor Make (M : sig | 1 functor Make (M : sig |
2 con fs :: {Unit} | 2 con fs :: {Unit} |
3 val fl : folder fs | 3 val fl : folder fs |
4 val names : $(mapUT string fs) | 4 val names : $(mapU string fs) |
5 end) : sig | 5 end) : sig |
6 val main : unit -> transaction page | 6 val main : unit -> transaction page |
7 end | 7 end |