3 Commits

Author	SHA1	Message	Date
aarne	7d41ff0b9f	testing Predication with Swe	2014-01-23 21:20:52 +00:00
aarne	2c71e31a64	generalized some types in Predication so that the same fun's now cover slash propagation ("who does she force us to love") as well	2014-01-23 17:50:30 +00:00
aarne	8c1128c16c	experimental Predication with dependent types - promising, but far from finished	2014-01-23 16:12:28 +00:00