]> git.xn--bdkaa.com Git - jolie.agda.git/commit
projects / jolie.agda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ced78ed) | patch
Add semantics rules for behavioural layer.
authorEugene Akentyev <ak3ntev@gmail.com>
Thu, 26 Jan 2017 06:32:27 +0000 (09:32 +0300)
committerEugene Akentyev <ak3ntev@gmail.com>
Thu, 26 Jan 2017 06:32:27 +0000 (09:32 +0300)
commitfdb342f0bed607a191a0b5d7e5f42bbfd97ecfda
treecafec92a20773aa6847d38843eb69ac936e8e988tree | snapshot
parentced78ed921120218332215dd57032d3f0e8790d8commit | diff
Add semantics rules for behavioural layer.
src/Interpreter.agda [new file with mode: 0644] blob
An attempt to formalize Jolie's type system in Agda