-
Notifications
You must be signed in to change notification settings - Fork 12
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#122 In ppolesiuk/type-systems-notes;
- Status: Open.#119 In ppolesiuk/type-systems-notes;
Update syntax of substitution extension in Chapter 1
mathTypesetting of math technical materialTypesetting of math technical materialStatus: Open.#118 In ppolesiuk/type-systems-notes;- Status: Open.#92 In ppolesiuk/type-systems-notes;
- Status: Open.#76 In ppolesiuk/type-systems-notes;
Elaborate on Sec. 8.2. Imperative Representation of Terms
proseDetailed description is neededDetailed description is neededStatus: Open.#75 In ppolesiuk/type-systems-notes;Elaborate on Sec. 8.1. (Reconstruction of) Simple Types
proseDetailed description is neededDetailed description is neededStatus: Open.#74 In ppolesiuk/type-systems-notes;Free theorems in Sec. 7.4
mathTypesetting of math technical materialTypesetting of math technical materialStatus: Open.#73 In ppolesiuk/type-systems-notes;Elaborate on Sec. 7.1. Existential Types
proseDetailed description is neededDetailed description is neededStatus: Open.#61 In ppolesiuk/type-systems-notes;Elaborate on Sec. 6.2. Logical Relations for Polymorphism
proseDetailed description is neededDetailed description is neededStatus: Open.#45 In ppolesiuk/type-systems-notes;Elaborate on Sec. 5.2. Biorthogonal Closure
proseDetailed description is neededDetailed description is neededStatus: Open.#43 In ppolesiuk/type-systems-notes;Statements of theorems in Sec. 1.2.
improvementImprovement of a narrationImprovement of a narrationStatus: Open.#37 In ppolesiuk/type-systems-notes;