diff --git a/AlgebraicDataflowArchitectureModel/models/BagTest.model b/AlgebraicDataflowArchitectureModel/models/BagTest.model deleted file mode 100644 index 3a27bfa..0000000 --- a/AlgebraicDataflowArchitectureModel/models/BagTest.model +++ /dev/null @@ -1,8 +0,0 @@ -channel signUp { - out accounts(acs: Map, signUp(id, name)) = insert(acs, id, {"name": name, "friends": nil}) -} - -channel makeFriend(aid) { - out accounts.{aid}.friends(friends: List, addFreinds(fid)) = append(friends, fid) - out accounts.{fid}.friends(friends: List, addFreinds(fid)) = append(friends, aid) -} \ No newline at end of file