diff --git a/AlgebraicDataflowArchitectureModel/models/Accounts.model b/AlgebraicDataflowArchitectureModel/models/Accounts.model index 24710ee..cce8811 100644 --- a/AlgebraicDataflowArchitectureModel/models/Accounts.model +++ b/AlgebraicDataflowArchitectureModel/models/Accounts.model @@ -1,7 +1,6 @@ -channel CIO1 { - out accounts(l:List, signup(name:Str)) = append(l, {"name": name}) -} - channel CIO2(uid:Int) { out accounts.{uid}.name(n:Str, changeName(name)) = name } +channel CIO1 { + out accounts(l:List, signup(name:Str)) = append(l, {"name": name}) +}