summaryrefslogtreecommitdiff
path: root/demo/more/conferenceFields.urs
blob: 04cf902f09df2c894ffe463964b1b9a0afab7749 (plain)
1
2
3
4
5
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