comparison demo/ref.ur @ 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 b393c2fc80f8
children 5819fb63c93a
comparison
equal deleted inserted replaced
642:4a125bbc602d 643:aa2290c32ce2
1 structure IR = RefFun.Make(struct 1 structure IR = RefFun.Make(struct
2 type t = int 2 type data = int
3 end) 3 end)
4 4
5 structure SR = RefFun.Make(struct 5 structure SR = RefFun.Make(struct
6 type t = string 6 type data = string
7 end) 7 end)
8 8
9 fun main () = 9 fun main () =
10 ir <- IR.new 3; 10 ir <- IR.new 3;
11 ir' <- IR.new 7; 11 ir' <- IR.new 7;