5 commits

Author		Message	Date
Marko Dimjašević	3e07764efe	Quantitative: fixes a spelling error	2019-06-20 14:00:41 +02:00
Wen Kokke	62d742a549	Brought QTT up to speed more or less with a taste of linear logic	2019-03-16 11:00:08 +01:00
Wen Kokke	8e66074a2b	Finished adding units, products, and sums to QTT	2019-03-12 11:31:36 +01:00
Wen Kokke	647f71bbd5	making progress towards qtt/more	2019-03-10 20:20:20 +01:00
Wen Kokke	888b67e6f2	Moved QTT to extra	2019-03-10 20:20:20 +01:00