From 7491cad2aabb379a0d6b2bb5234634c183b3dba2 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Mon, 2 Nov 2009 14:22:29 -0500 Subject: Seeing others' reviews --- demo/more/conferenceFields.urs | 1 + 1 file changed, 1 insertion(+) (limited to 'demo/more/conferenceFields.urs') diff --git a/demo/more/conferenceFields.urs b/demo/more/conferenceFields.urs index d235ec4c..04cf902f 100644 --- a/demo/more/conferenceFields.urs +++ b/demo/more/conferenceFields.urs @@ -1,5 +1,6 @@ val title : Meta.meta (string, string) val abstract : Meta.meta (string, string) +val commentsForAuthors : Meta.meta (string, string) con dropdown :: (Type * Type) val dropdown : string -> list char -> Meta.meta dropdown -- cgit v1.2.3