Mike Gerwitz fbe76a5616 design/tpl: Beginnings of classifications in terms of first-order logic ... This is going to evolve a great deal, and note that the yield definition is completely absent. It may be time to switch to natural deduction (Gentzen-style).		2021-05-14 12:14:11 -04:00
..
appendix-typesetting.tex	design/tpl (Meta: Typesetting): Correct use of \tameclass	2021-05-11 16:52:03 -04:00
class.tex	design/tpl: Beginnings of classifications in terms of first-order logic	2021-05-14 12:14:11 -04:00
notation.tex	design/tpl: Beginnings of classifications in terms of first-order logic	2021-05-14 12:14:11 -04:00