Mercurial > urweb
comparison demo/more/conference1.ur @ 1018:9304474170ed
Extend Fuse to work on non-recursive functions
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 25 Oct 2009 13:02:13 -0400 |
parents | 16f7cb0891b6 |
children | 4de35df3d545 |
comparison
equal
deleted
inserted
replaced
1017:34ba25d6af3b | 1018:9304474170ed |
---|---|
3 open Conference.Make(struct | 3 open Conference.Make(struct |
4 val paper = {Title = title, | 4 val paper = {Title = title, |
5 Abstract = abstract} | 5 Abstract = abstract} |
6 val review = {Rating = dropdown "Rating" (#"A" :: #"B" :: #"C" :: #"D" :: [])} | 6 val review = {Rating = dropdown "Rating" (#"A" :: #"B" :: #"C" :: #"D" :: [])} |
7 | 7 |
8 val submissionDeadline = readError "2009-10-22 23:59:59" | 8 val submissionDeadline = readError "2009-11-22 23:59:59" |
9 | 9 |
10 fun summarizePaper r = cdata r.Title | 10 fun summarizePaper r = cdata r.Title |
11 end) | 11 end) |