]> git.xn--bdkaa.com Git - jolie.agda.git/commit
Expand behaviour's typing rules. Add network and service typing rules.
authorEugene Akentyev <ak3ntev@gmail.com>
Wed, 18 Jan 2017 05:06:25 +0000 (08:06 +0300)
committerEugene Akentyev <ak3ntev@gmail.com>
Wed, 18 Jan 2017 05:06:25 +0000 (08:06 +0300)
commita9f1698353219d88e3357ba5329c8a4921a4b016
tree74a77f7659858e2e733aa51d7d0c8dee3af36e5b
parenteacd202d5178fb288464136e4116895faa1c2e36
Expand behaviour's typing rules. Add network and service typing rules.
src/Network.agda
src/Type.agda
src/TypingBehaviour.agda
src/TypingNetwork.agda
src/TypingService.agda