git.xn--bdkaa.com Git - jolie.agda.git/shortlog

]> git.xn--bdkaa.com Git - jolie.agda.git/shortlog

2016-12-15	Eugene Akentyev	in work	commit \| commitdiff \| tree \| snapshot
2016-12-08	Eugene Akentyev	Add context equality	commit \| commitdiff \| tree \| snapshot
2016-12-08	Eugene Akentyev	Replace lemmas with lambdas	commit \| commitdiff \| tree \| snapshot
2016-12-08	Eugene Akentyev	Add 'if case' to check-B	commit \| commitdiff \| tree \| snapshot
2016-12-07	Eugene Akentyev	Inline substCtx	commit \| commitdiff \| tree \| snapshot
2016-12-07	Eugene Akentyev	Fix equality of contexts	commit \| commitdiff \| tree \| snapshot
2016-12-07	Eugene Akentyev	Merge pull request #1 from ak3n/in_types	commit \| commitdiff \| tree \| snapshot
2016-12-07	Eugene Akentyev	Update service	commit \| commitdiff \| tree \| snapshot
2016-12-03	Eugene Akentyev	Simplified variables and finished typing rules for...	commit \| commitdiff \| tree \| snapshot
2016-11-08	Eugene Akentyev	Add t-assign-new	commit \| commitdiff \| tree \| snapshot
2016-11-05	Eugene Akentyev	Add condition for t-par	commit \| commitdiff \| tree \| snapshot
2016-11-05	Eugene Akentyev	Add t-notification	commit \| commitdiff \| tree \| snapshot
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

An attempt to formalize Jolie's type system in Agda

RSS Atom