diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-10-22 12:16:31 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-22 12:16:31 -0400 |
commit | c672aad3fe693606fdff72f3b59ca26cc92c9fa9 (patch) | |
tree | 901f503fbc6b4bc7f9a6fd4ee70911c981ec4891 /demo/more/conference1.ur | |
parent | 34d3f5b515acbe3e83c0f2201253a08c4dea38b6 (diff) |
Viewing papers
Diffstat (limited to 'demo/more/conference1.ur')
-rw-r--r-- | demo/more/conference1.ur | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/demo/more/conference1.ur b/demo/more/conference1.ur index 3fc5ff64..d52de976 100644 --- a/demo/more/conference1.ur +++ b/demo/more/conference1.ur @@ -6,4 +6,6 @@ open Conference.Make(struct val review = {} val submissionDeadline = readError "2009-10-22 23:59:59" + + fun summarizePaper r = cdata r.Title end) |