diff demo/more/conferenceFields.ur @ 1007:d3af9e54c828

Title and abstract
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 11:37:58 -0400
parents
children 59097824f19b
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/demo/more/conferenceFields.ur	Thu Oct 22 11:37:58 2009 -0400
@@ -0,0 +1,7 @@
+open Meta
+
+con title = (string, string)
+val title = string "Title"
+
+con abstract = (string, string)
+val abstract = textarea "Abstract"