]> git.xn--bdkaa.com Git - jolie.agda.git/commit
projects / jolie.agda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d75b931) | patch
Update type rules of behaviour layer.
authorEugene Akentyev <ak3ntev@gmail.com>
Tue, 27 Dec 2016 01:19:31 +0000 (06:19 +0500)
committerEugene Akentyev <ak3ntev@gmail.com>
Tue, 27 Dec 2016 01:19:31 +0000 (06:19 +0500)
commit6abff2b0672cb9e05f1c82bd925578b0e2df2499
treebaaf959514e525b036253b1e436d0b488101e8e8tree | snapshot
parentd75b9311917b2eefd95799852c46d79e170cb1e5commit | diff
Update type rules of behaviour layer.
src/Typecheck.agda diff | blob | history
An attempt to formalize Jolie's type system in Agda