]> git.xn--bdkaa.com Git - jolie.agda.git/commit
projects / jolie.agda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fdb342f) | patch
Rename file and add remaining rules
authorEugene Akentyev <ak3ntev@gmail.com>
Thu, 26 Jan 2017 07:20:40 +0000 (10:20 +0300)
committerEugene Akentyev <ak3ntev@gmail.com>
Thu, 26 Jan 2017 07:20:40 +0000 (10:20 +0300)
commiteb93f60e8417eb8d5ce18c5d5a74c9833aa4da69
treee6906b0a57cd99cd649938ae3a8837794188b1detree | snapshot
parentfdb342f0bed607a191a0b5d7e5f42bbfd97ecfdacommit | diff
Rename file and add remaining rules
src/BehaviouralSemantics.agda [new file with mode: 0644] blob
src/Interpreter.agda [deleted file] blob | history
An attempt to formalize Jolie's type system in Agda