nixpkgs / ceptre - A linear logic programming language for modeling generative interactive systems

Homepage - https://github.com/chrisamaphone/interactive-lp

Maintainers - Pascal Wittmann

Releases

2016-11-27 (expand/collapse)
From commit 075e4883 to 00460bd6
2016-01-01 (expand/collapse)
From commit 044ceae2 to 044ceae2
2016-11-27 (expand/collapse)
From commit 05bb3fe2 to 0560caa5
2016-01-01 (expand/collapse)
From commit 007d1b41 to 071481ca
2015-11-20 (expand/collapse)
From commit 010724bc to 010724bc
2016-01-01 (expand/collapse)
From commit 049357bb to 074d1f2f
2015-11-20 (expand/collapse)
From commit 067467ed to 067467ed
2016-01-01 (expand/collapse)
From commit 01b0b3ce to 0313b2e0
2015-11-20 (expand/collapse)
From commit 01fe47c7 to 072da541
2015-08-30 (expand/collapse)
From commit 01eb3853 to 01eb3853
2015-11-20 (expand/collapse)
From commit 04217459 to 04af2033
2015-08-30 (expand/collapse)
From commit 0684ac10 to 0773d7b5
2015-08-15 (expand/collapse)
From commit 02fc4551 to 06a7b229