]> git.xn--bdkaa.com Git - jolie.agda.git/commit
projects / jolie.agda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e4f03b5) | patch
Update struct theorems and typing rules for network and service layers
authorEugene Akentyev <ak3ntev@gmail.com>
Wed, 18 Jan 2017 13:52:44 +0000 (16:52 +0300)
committerEugene Akentyev <ak3ntev@gmail.com>
Wed, 18 Jan 2017 13:52:44 +0000 (16:52 +0300)
commit326ef04170ef42b0b19c482d6b7ca4a23f87c5a7
tree55cf749dfbe185c345dd099db7d5117740e058f2tree | snapshot
parente4f03b5d89e4b2483b8a893c890ab1a298c6d145commit | diff
Update struct theorems and typing rules for network and service layers
src/TypingBehaviour.agda diff | blob | history
src/TypingNetwork.agda diff | blob | history
src/TypingService.agda diff | blob | history
An attempt to formalize Jolie's type system in Agda