Marko Dimjašević 3e07764efe Quantitative: fixes a spelling error		2019-06-20 14:00:41 +02:00
..
Quantitative	making progress towards qtt/more	2019-03-10 20:20:20 +01:00
Quantitative.lagda	Quantitative: fixes a spelling error	2019-06-20 14:00:41 +02:00