]> git.xn--bdkaa.com Git - jolie.agda.git/commit
projects / jolie.agda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 77cd022) | patch
init
authorEugene Akentyev <ak3ntev@gmail.com>
Fri, 21 Oct 2016 20:02:59 +0000 (23:02 +0300)
committerEugene Akentyev <ak3ntev@gmail.com>
Fri, 21 Oct 2016 20:02:59 +0000 (23:02 +0300)
commit21e6ab0251d622a2a0ad03c5eb1fd76b48ea8a2e
tree389b5a24b8dfb3815d334fa08d3c34a871634096tree | snapshot
parent77cd022d179d87eea3fd1c0fda6b3af63954206ecommit | diff
init
.gitignore diff | blob | history
src/Behaviour.agda [new file with mode: 0644] blob
src/Expr.agda [new file with mode: 0644] blob
src/Type.agda [new file with mode: 0644] blob
src/Typecheck.agda [new file with mode: 0644] blob
src/Variable.agda [new file with mode: 0644] blob
An attempt to formalize Jolie's type system in Agda