Pascal Wittmann 46d9fbc446 ceptre: init at 2015-08-15 ... A linear logic programming language for modeling generative interactive systems		2015-09-05 11:20:29 +02:00
..
default.nix	ceptre: init at 2015-08-15	2015-09-05 11:20:29 +02:00