]> git.xn--bdkaa.com Git - jolie.agda.git/commit
projects / jolie.agda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc67ec1) | patch
...
authorEugene Akentyev <ak3ntev@gmail.com>
Mon, 19 Dec 2016 19:50:32 +0000 (22:50 +0300)
committerEugene Akentyev <ak3ntev@gmail.com>
Mon, 19 Dec 2016 19:50:32 +0000 (22:50 +0300)
commitd26f7fcdc95cab5cdc20d446eca646b00dcf1afc
tree06de9601daa8a65595ff683ff6ca1d004c2c50a6tree | snapshot
parentcc67ec1eccd6cdcf49658be50420f49a2315db0ecommit | diff
...
src/Typecheck.agda diff | blob | history
An attempt to formalize Jolie's type system in Agda