]> git.xn--bdkaa.com Git - jolie.agda.git/commit
projects / jolie.agda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e643ac1) | patch
Add t-assign-new
authorEugene Akentyev <ak3ntev@gmail.com>
Tue, 8 Nov 2016 23:01:07 +0000 (02:01 +0300)
committerEugene Akentyev <ak3ntev@gmail.com>
Tue, 8 Nov 2016 23:01:07 +0000 (02:01 +0300)
commit1aa59ad2ea6ea45a23d270fc49b9631262a5ee92
treef4b96fe0ae6b44ccc6812bdbc9de82b51e7772d8tree | snapshot
parente643ac14ceec03a11ec1e77caf4eae1cae406802commit | diff
Add t-assign-new
src/Type.agda diff | blob | history
src/Typecheck.agda diff | blob | history
An attempt to formalize Jolie's type system in Agda