Newer
Older
AlgebraicDataflowArchitectureModel / AlgebraicDataflowArchitectureModel / models / Accounts.model
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
}