]> git.xn--bdkaa.com Git - jolie.agda.git/commit
projects / jolie.agda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d26f7fc) | patch
Change direction to theorems. Add t-wait and t-exec.
authorEugene Akentyev <ak3ntev@gmail.com>
Tue, 20 Dec 2016 21:20:45 +0000 (00:20 +0300)
committerEugene Akentyev <ak3ntev@gmail.com>
Tue, 20 Dec 2016 21:20:45 +0000 (00:20 +0300)
commitd75b9311917b2eefd95799852c46d79e170cb1e5
tree9611cab292791e0312ec423c2f8aa9e8691abc8dtree | snapshot
parentd26f7fcdc95cab5cdc20d446eca646b00dcf1afccommit | diff
Change direction to theorems. Add t-wait and t-exec.
src/Typecheck.agda diff | blob | history
An attempt to formalize Jolie's type system in Agda