Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | ceptre: 2015-11-20 -> 2016-01-01 | Pascal Wittmann | 2016-01-03 |
| | |||
* | ceptre: 2015-08-30 -> 2015-11-20 | Pascal Wittmann | 2015-11-22 |
| | |||
* | ceptre: 2015-08-15 -> 2015-08-30 | Pascal Wittmann | 2015-09-08 |
| | |||
* | ceptre: init at 2015-08-15 | Pascal Wittmann | 2015-09-05 |
A linear logic programming language for modeling generative interactive systems |