]> git.xn--bdkaa.com Git - jolie.agda.git/commit
projects / jolie.agda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 54b8b36) | patch
Added typingnetwork
authorEugene Akentyev <ak3ntev@gmail.com>
Sun, 8 Jan 2017 01:39:52 +0000 (06:39 +0500)
committerEugene Akentyev <ak3ntev@gmail.com>
Sun, 8 Jan 2017 01:39:52 +0000 (06:39 +0500)
commit8501ad7f372d8e16a2830cf126fb58863799a564
treec023a5ea2360a7809c2ce8de2cb5e1f83dceccc7tree | snapshot
parent54b8b36bc6a238d1a13bd4ee4f0913f4115e1430commit | diff
Added typingnetwork
src/Service.agda diff | blob | history
src/TypingNetwork.agda [new file with mode: 0644] blob
An attempt to formalize Jolie's type system in Agda