]> git.xn--bdkaa.com Git - jolie.agda.git/commit
projects / jolie.agda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 82040fe) | patch
Add typing rules for cases with disjoint union
authorEugene Akentyev <ak3ntev@gmail.com>
Wed, 18 Jan 2017 13:28:00 +0000 (16:28 +0300)
committerEugene Akentyev <ak3ntev@gmail.com>
Wed, 18 Jan 2017 13:28:00 +0000 (16:28 +0300)
commite4f03b5d89e4b2483b8a893c890ab1a298c6d145
tree6314c430f885994b20c82018e8d2e8feea6d8935tree | snapshot
parent82040fe2c031b4346c419026c184ed3aa7d07f01commit | diff
Add typing rules for cases with disjoint union
src/TypingBehaviour.agda diff | blob | history
An attempt to formalize Jolie's type system in Agda