]> git.xn--bdkaa.com Git - jolie.agda.git/commit
projects / jolie.agda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07111ae) | patch
Replace context's constructors and add new theorems.
authorEugene Akentyev <ak3ntev@gmail.com>
Thu, 19 Jan 2017 19:34:26 +0000 (22:34 +0300)
committerEugene Akentyev <ak3ntev@gmail.com>
Thu, 19 Jan 2017 19:34:26 +0000 (22:34 +0300)
commitd435954772cd531775f203c71c9753e68a527c85
treee529627c6be03fb87d48cd3f43fd376cccd5a47btree | snapshot
parent07111ae79abd847aab7ff427a6260e4c84e535fecommit | diff
Replace context's constructors and add new theorems.
src/Type.agda diff | blob | history
src/TypingBehaviour.agda diff | blob | history
An attempt to formalize Jolie's type system in Agda