]>
git.xn--bdkaa.com Git - jolie.agda.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Eugene Akentyev [Thu, 15 Dec 2016 20:50:22 +0000 (23:50 +0300)]
in work
Eugene Akentyev [Thu, 8 Dec 2016 19:53:08 +0000 (22:53 +0300)]
Add context equality
Eugene Akentyev [Thu, 8 Dec 2016 12:59:23 +0000 (15:59 +0300)]
Replace lemmas with lambdas
Eugene Akentyev [Thu, 8 Dec 2016 12:34:57 +0000 (15:34 +0300)]
Add 'if case' to check-B
Eugene Akentyev [Wed, 7 Dec 2016 20:40:25 +0000 (23:40 +0300)]
Inline substCtx
Eugene Akentyev [Wed, 7 Dec 2016 20:32:24 +0000 (23:32 +0300)]
Fix equality of contexts
Eugene Akentyev [Wed, 7 Dec 2016 13:42:16 +0000 (16:42 +0300)]
Merge pull request #1 from ak3n/in_types
In types version
Eugene Akentyev [Wed, 7 Dec 2016 13:41:23 +0000 (16:41 +0300)]
Update service
Eugene Akentyev [Sat, 3 Dec 2016 15:37:13 +0000 (20:37 +0500)]
Simplified variables and finished typing rules for behaviour.
Eugene Akentyev [Tue, 8 Nov 2016 23:01:07 +0000 (02:01 +0300)]
Add t-assign-new
Eugene Akentyev [Sat, 5 Nov 2016 17:12:16 +0000 (20:12 +0300)]
Add condition for t-par
Eugene Akentyev [Sat, 5 Nov 2016 14:58:34 +0000 (17:58 +0300)]
Add t-notification
Eugene Akentyev [Sat, 5 Nov 2016 14:18:36 +0000 (17:18 +0300)]
Express typing rules in types
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