]> git.xn--bdkaa.com Git - jolie.agda.git/commit
projects / jolie.agda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e5b592a) | patch
Add typing service.
authorEugene Akentyev <ak3ntev@gmail.com>
Wed, 28 Dec 2016 19:08:19 +0000 (00:08 +0500)
committerEugene Akentyev <ak3ntev@gmail.com>
Wed, 28 Dec 2016 19:08:19 +0000 (00:08 +0500)
commit7b68f9a5b38f014641415bed8e98f66917346497
tree4c70f994cf2686c7508e8053d228ccb7bd7bd3bdtree | snapshot
parente5b592a5958257dc6d0a757f6aaca0b3daef14c0commit | diff
Add typing service.
src/Queue.agda [deleted file] blob | history
src/Service.agda diff | blob | history
src/TypingBehaviour.agda diff | blob | history
src/TypingService.agda [new file with mode: 0644] blob
An attempt to formalize Jolie's type system in Agda