projects / jolie.agda.git / shortlog
| 2016-11-05 | Eugene Akentyev | Express typing rules in types | commit | commitdiff | tree | snapshot |
| 2016-11-04 | Eugene Akentyev | TypeTree yes case | commit | commitdiff | tree | snapshot |
| 2016-11-02 | Eugene Akentyev | First steps with Equality | commit | commitdiff | tree | snapshot |
| 2016-11-01 | Eugene Akentyev | Add type_of_value and type_of_var. Remove maybe from... | commit | commitdiff | tree | snapshot |
| 2016-11-01 | Eugene Akentyev | Add check type for behaviour | commit | commitdiff | tree | snapshot |
| 2016-10-27 | Eugene Akentyev | Fix binary expr | commit | commitdiff | tree | snapshot |
| 2016-10-25 | Eugene Akentyev | Add Network, Queue and Service. | commit | commitdiff | tree | snapshot |
| 2016-10-22 | Eugene Akentyev | Add one possible variant | commit | commitdiff | tree | snapshot |
| 2016-10-21 | Eugene Akentyev | Create README.md | commit | commitdiff | tree | snapshot |
| 2016-10-21 | Eugene Akentyev | init | commit | commitdiff | tree | snapshot |
| 2016-10-21 | Eugene Akentyev | Initial commit | commit | commitdiff | tree | snapshot |