]> git.xn--bdkaa.com Git - jolie.agda.git/commit
projects / jolie.agda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6abff2b) | patch
Rename typecheck to typingbehaviour
authorEugene Akentyev <ak3ntev@gmail.com>
Tue, 27 Dec 2016 15:14:26 +0000 (20:14 +0500)
committerEugene Akentyev <ak3ntev@gmail.com>
Tue, 27 Dec 2016 15:14:26 +0000 (20:14 +0500)
commite5b592a5958257dc6d0a757f6aaca0b3daef14c0
tree18232fb29c5f0a12bafcd0068ee05e566a9c36c3tree | snapshot
parent6abff2b0672cb9e05f1c82bd925578b0e2df2499commit | diff
Rename typecheck to typingbehaviour
src/TypingBehaviour.agda [moved from src/Typecheck.agda with 86% similarity] diff | blob | history
An attempt to formalize Jolie's type system in Agda