Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I ended up polishing type theory - contents (which is included as a floating table of contents in the relevant entries):
expanded and re-arranged the list under “syntax”, created stubs for the missing items definition and program
expanded the (logic/type theory)-table to a (logic/category theory/type theory)-table and subsumed some of the items into it that were floating around elsewhere.
1 to 1 of 1