From 557a36756fdc27137dc96ce721d8f3521ef3d894 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Sat, 4 Feb 2023 13:46:34 +0100
Subject: [PATCH] First step of cleanup of protocols

---
 schemas/secureChatProtocol.prs | 21 ---------------------
 schemas/simpleChatProtocol.prs |  5 -----
 2 files changed, 26 deletions(-)
 delete mode 100644 schemas/secureChatProtocol.prs
 delete mode 100644 schemas/simpleChatProtocol.prs

diff --git a/schemas/secureChatProtocol.prs b/schemas/secureChatProtocol.prs
deleted file mode 100644
index 6899495..0000000
--- a/schemas/secureChatProtocol.prs
+++ /dev/null
@@ -1,21 +0,0 @@
-version 1 .
-embeddedType EntityRef.Cap .
-
-UserId = int .
-
-Join = <joinedUser @uid UserId @handle #!Session>.
-
-Session = @observeUsers <Observe =user @observer #!UserInfo>
-        / @observeSpeech <Observe =says @observer #!Says>
-        / NickClaim
-        / Says
-.
-
-NickClaim = <claimNick @uid UserId @name string @k #!NickClaimResponse>.
-NickClaimResponse = #t / NickConflict .
-
-UserInfo = <user @uid UserId @name string>.
-
-Says = <says @who UserId @what string>.
-
-NickConflict = <nickConflict>.
diff --git a/schemas/simpleChatProtocol.prs b/schemas/simpleChatProtocol.prs
deleted file mode 100644
index c738739..0000000
--- a/schemas/simpleChatProtocol.prs
+++ /dev/null
@@ -1,5 +0,0 @@
-version 1 .
-embeddedType EntityRef.Cap .
-
-Present = <Present @username string>.
-Says = <Says @who string @what string>.