]> git.xn--bdkaa.com Git - jolie.agda.git/commit
projects / jolie.agda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a20278c) | patch
Add type_of_value and type_of_var. Remove maybe from if-then-else behaviour.
authorEugene Akentyev <ak3ntev@gmail.com>
Tue, 1 Nov 2016 22:50:56 +0000 (01:50 +0300)
committerEugene Akentyev <ak3ntev@gmail.com>
Tue, 1 Nov 2016 22:50:56 +0000 (01:50 +0300)
commit30b45bc2bb31a894b49d86903b4aff8062b13f73
tree52fde88d5a9774f991aba669dbb5ed8faad52434tree | snapshot
parenta20278cb77ec59f3b1447d77ae4338aa5e0b996acommit | diff
Add type_of_value and type_of_var. Remove maybe from if-then-else behaviour.
src/Behaviour.agda diff | blob | history
src/Expr.agda diff | blob | history
src/Typecheck.agda diff | blob | history
An attempt to formalize Jolie's type system in Agda