Mercurial > urweb

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

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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.urs	Thu Oct 22 11:37:58 2009 -0400
@@ -0,0 +1,5 @@
+con title :: (Type * Type)
+val title : Meta.meta title
+
+con abstract :: (Type * Type)
+val abstract : Meta.meta abstract