Ur/Web: tests/strdupe.ur annotate

Use checkbox in CRUD example

author	Adam Chlipala <adamc@hcoop.net>
date	Sat, 04 Oct 2008 16:15:13 -0400
parents	71bafe66dbe1
children

rev	line source
adamc@63	1 val x = 0
adamc@64	2 val x = x
adamc@63	3
adamc@63	4 type t = int
adamc@64	5 type t = { A : t }
adamc@63	6
adamc@63	7 signature S = sig end
adamc@64	8 signature S = sig type t structure M : S end
adamc@63	9
adamc@63	10 structure S = struct end
adamc@64	11 structure S : S = struct type t = int structure M = S end

Mercurial > urweb