]> git.xn--bdkaa.com Git - jolie.agda.git/commit
projects / jolie.agda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a27ccbf) | patch
Add t-notification
authorEugene Akentyev <ak3ntev@gmail.com>
Sat, 5 Nov 2016 14:58:34 +0000 (17:58 +0300)
committerEugene Akentyev <ak3ntev@gmail.com>
Sat, 5 Nov 2016 14:58:34 +0000 (17:58 +0300)
commit2d07c5919997f17757af7e77acaca77d8771973a
tree0272af5ee26a97d9338c6807b89d5d87699db7e1tree | snapshot
parenta27ccbfc07041113b88033604ad25478bed596eccommit | diff
Add t-notification
src/Type.agda diff | blob | history
src/Typecheck.agda diff | blob | history
An attempt to formalize Jolie's type system in Agda