diff options
Diffstat (limited to 'demo/more/conferenceFields.urs')
| -rw-r--r-- | demo/more/conferenceFields.urs | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/demo/more/conferenceFields.urs b/demo/more/conferenceFields.urs deleted file mode 100644 index 3a034770..00000000 --- a/demo/more/conferenceFields.urs +++ /dev/null @@ -1,7 +0,0 @@ -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 -val dropdown_show : show dropdown.1 |