Fix manual mistake about '@' notations; remove obsolete demos

1 files changed, 0 insertions, 24 deletions

diff --git a/demo/more/bulkEdit.urs b/demo/more/bulkEdit.urs
deleted file mode 100644
index 0e5d7a6c..00000000
--- a/demo/more/bulkEdit.urs
+++ /dev/null
@@ -1,24 +0,0 @@
-functor Make(M : sig
-                 con keyName :: Name
-                 con keyType :: Type
-                 val showKey : show keyType
-                 val readKey : read keyType
-                 val injKey : sql_injectable keyType
-
-                 con visible :: {(Type * Type)}
-                 constraint [keyName] ~ visible
-                 val folder : folder visible
-                 val visible : $(map Meta.meta visible)
-
-                 con invisible :: {Type}
-                 constraint [keyName] ~ invisible
-                 constraint visible ~ invisible
-
-                 val title : string
-                 val isAllowed : transaction bool
-                 table t : ([keyName = keyType] ++ map fst visible ++ invisible)
-             end) : sig
-
-    val main : unit -> transaction page
-
-end