From c672aad3fe693606fdff72f3b59ca26cc92c9fa9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 22 Oct 2009 12:16:31 -0400 Subject: Viewing papers --- demo/more/conferenceFields.urs | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'demo/more/conferenceFields.urs') diff --git a/demo/more/conferenceFields.urs b/demo/more/conferenceFields.urs index 9867db47..8352071d 100644 --- a/demo/more/conferenceFields.urs +++ b/demo/more/conferenceFields.urs @@ -1,5 +1,2 @@ -con title :: (Type * Type) -val title : Meta.meta title - -con abstract :: (Type * Type) -val abstract : Meta.meta abstract +val title : Meta.meta (string, string) +val abstract : Meta.meta (string, string) -- cgit v1.2.3