]> git.xn--bdkaa.com Git - jolie.agda.git/commit
projects / jolie.agda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7b68f9a) | patch
Added disjoint union
authorEugene Akentyev <ak3ntev@gmail.com>
Mon, 2 Jan 2017 22:49:52 +0000 (03:49 +0500)
committerEugene Akentyev <ak3ntev@gmail.com>
Mon, 2 Jan 2017 22:49:52 +0000 (03:49 +0500)
commit1d23c479cd2ca14c8b64719c134373f272be7e2b
tree555908fb16b98c8254e25ccfa9e592f5c3830e71tree | snapshot
parent7b68f9a5b38f014641415bed8e98f66917346497commit | diff
Added disjoint union
src/TypingBehaviour.agda diff | blob | history
src/TypingService.agda diff | blob | history
An attempt to formalize Jolie's type system in Agda