]>
git.xn--bdkaa.com Git - jolie.agda.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Eugene Akentyev [Fri, 4 Nov 2016 22:12:25 +0000 (01:12 +0300)]
TypeTree yes case
Eugene Akentyev [Wed, 2 Nov 2016 14:09:53 +0000 (17:09 +0300)]
First steps with Equality
Eugene Akentyev [Tue, 1 Nov 2016 22:50:56 +0000 (01:50 +0300)]
Add type_of_value and type_of_var. Remove maybe from if-then-else behaviour.
Eugene Akentyev [Tue, 1 Nov 2016 18:33:22 +0000 (21:33 +0300)]
Add check type for behaviour
Eugene Akentyev [Thu, 27 Oct 2016 21:07:58 +0000 (02:07 +0500)]
Fix binary expr
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
projects / jolie.agda.git / log