]> git.xn--bdkaa.com Git - jolie.agda.git/summary
projects / jolie.agda.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionAn attempt to formalize Jolie's type system in Agda
last changeWed, 22 Feb 2017 19:44:19 +0000 (22:44 +0300)
shortlog
2017-02-22 Eugene AkentyevAdd type preservation cases master commit | commitdiff | tree | snapshot
2017-01-26 Eugene AkentyevCosmetic changes commit | commitdiff | tree | snapshot
2017-01-26 Eugene AkentyevRename file and add remaining rules commit | commitdiff | tree | snapshot
2017-01-26 Eugene AkentyevAdd semantics rules for behavioural layer. commit | commitdiff | tree | snapshot
2017-01-19 Eugene AkentyevUpdate typing rules for network and service layers. commit | commitdiff | tree | snapshot
2017-01-19 Eugene AkentyevReplace context's constructors and add new theorems. commit | commitdiff | tree | snapshot
2017-01-19 Eugene AkentyevEdit expr commit | commitdiff | tree | snapshot
2017-01-18 Eugene AkentyevUpdate struct theorems and typing rules for network... commit | commitdiff | tree | snapshot
2017-01-18 Eugene AkentyevAdd typing rules for cases with disjoint union commit | commitdiff | tree | snapshot
2017-01-18 Eugene AkentyevMake contexts great again commit | commitdiff | tree | snapshot
2017-01-18 Eugene AkentyevExpand behaviour's typing rules. Add network and servic... commit | commitdiff | tree | snapshot
2017-01-16 Eugene AkentyevAdd t-bsl-choice commit | commitdiff | tree | snapshot
2017-01-16 Eugene AkentyevRename side effect. Add comments. commit | commitdiff | tree | snapshot
2017-01-08 Eugene AkentyevAdded t-mutate commit | commitdiff | tree | snapshot
2017-01-08 Eugene AkentyevAdded typingnetwork commit | commitdiff | tree | snapshot
2017-01-08 Eugene AkentyevChange to unicode syntax for behaviour commit | commitdiff | tree | snapshot
...
heads
8 years ago master shortlog | log | tree
An attempt to formalize Jolie's type system in Agda