]> git.xn--bdkaa.com Git - jolie.agda.git/commit
projects / jolie.agda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da9b32f) | patch
Add Network, Queue and Service.
authorEugene Akentyev <ak3ntev@gmail.com>
Tue, 25 Oct 2016 21:57:15 +0000 (02:57 +0500)
committerEugene Akentyev <ak3ntev@gmail.com>
Tue, 25 Oct 2016 21:57:15 +0000 (02:57 +0500)
commitd364ed6481626c56925c426df950c32a72882307
treeea1292afeb3f3037a1d144e1ab72527ade91372btree | snapshot
parentda9b32f2ad22cde071e15c9abbf2ef89c12b25a8commit | diff
Add Network, Queue and Service.
src/Network.agda [new file with mode: 0644] blob
src/Queue.agda [new file with mode: 0644] blob
src/Service.agda [new file with mode: 0644] blob
An attempt to formalize Jolie's type system in Agda