103 Commits

Author	SHA1	Message	Date
aarne	9b3c8b8365	testing Predication with Swe	2014-01-23 21:20:52 +00:00
aarne	2bfcabc25d	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	0b9ca96ef6	experimental Predication with dependent types - promising, but far from finished	2014-01-23 16:12:28 +00:00