]> git.xn--bdkaa.com Git - jolie.agda.git/commit
projects / jolie.agda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9f1698) | patch
Make contexts great again
authorEugene Akentyev <ak3ntev@gmail.com>
Wed, 18 Jan 2017 12:52:02 +0000 (15:52 +0300)
committerEugene Akentyev <ak3ntev@gmail.com>
Wed, 18 Jan 2017 12:52:02 +0000 (15:52 +0300)
commit82040fe2c031b4346c419026c184ed3aa7d07f01
tree64acd15ae95669082663d89d07587f1567b81805tree | snapshot
parenta9f1698353219d88e3357ba5329c8a4921a4b016commit | diff
Make contexts great again
src/Type.agda diff | blob | history
src/TypingBehaviour.agda diff | blob | history
src/TypingNetwork.agda diff | blob | history
src/TypingService.agda diff | blob | history
An attempt to formalize Jolie's type system in Agda