]> git.xn--bdkaa.com Git - jolie.agda.git/commit
projects / jolie.agda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 626b6f7) | patch
Add check type for behaviour
authorEugene Akentyev <ak3ntev@gmail.com>
Tue, 1 Nov 2016 18:33:22 +0000 (21:33 +0300)
committerEugene Akentyev <ak3ntev@gmail.com>
Tue, 1 Nov 2016 18:33:22 +0000 (21:33 +0300)
commita20278cb77ec59f3b1447d77ae4338aa5e0b996a
tree587fb55a59ca454d9a2a466115c03231ce721448tree | snapshot
parent626b6f758756b6fbba0e74fb3b8250fba1fec25fcommit | diff
Add check type for behaviour
src/Type.agda diff | blob | history
src/Typecheck.agda diff | blob | history
An attempt to formalize Jolie's type system in Agda