102 Commits

Author	SHA1	Message	Date
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