Mercurial > urweb
diff demo/crud1.ur @ 634:6302b10dbe0e
Folder generation for functors
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 24 Feb 2009 15:54:05 -0500 |
parents | 6c4643880df5 |
children | 1a317a707d71 |
line wrap: on
line diff
--- a/demo/crud1.ur Tue Feb 24 15:38:01 2009 -0500 +++ b/demo/crud1.ur Tue Feb 24 15:54:05 2009 -0500 @@ -9,10 +9,4 @@ B = Crud.string "B", C = Crud.float "C", D = Crud.bool "D"} - - val fl = Folder.cons [#A] [_] ! - (Folder.cons [#B] [_] ! - (Folder.cons [#C] [_] ! - (Folder.cons [#D] [_] ! - Folder.nil))) end)