Move box-protocol to a #lang preserves-schema module

1 year ago · 930f7eda00
1 changed files with 0 additions and 9 deletions
--- a/box-protocol.prs
+++ b/box-protocol.prs
@ -1,9 +0,0 @@
				@@ -1,9 +0,0 @@
-version 1 .
-embeddedType Actor.Ref .
-
-BoxState = <BoxState @value int>.
-SetBox = <SetBox @value int>.
-
-; BoxCap = BoxState / <Observe =SetBox @observer embedded>.
-; ClientCap = SetBox / <Observe =BoxState @observer embedded>.
-.