git.xn--bdkaa.com Git - jolie.agda.git/log

]> git.xn--bdkaa.com Git - jolie.agda.git/log

Eugene Akentyev [Tue, 25 Oct 2016 21:57:15 +0000 (02:57 +0500)]

Add Network, Queue and Service.

Eugene Akentyev [Sat, 22 Oct 2016 20:07:35 +0000 (23:07 +0300)]

Add one possible variant

Eugene Akentyev [Fri, 21 Oct 2016 20:04:50 +0000 (23:04 +0300)]

Create README.md

Eugene Akentyev [Fri, 21 Oct 2016 20:02:59 +0000 (23:02 +0300)]

init

Eugene Akentyev [Fri, 21 Oct 2016 15:59:23 +0000 (18:59 +0300)]

Initial commit

An attempt to formalize Jolie's type system in Agda