Skip to content

Issues: ppolesiuk/type-systems-notes

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

18 Open 25 Closed
18 Open 25 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Inconsistent spacing in the notation for typing judgements
#92 opened Dec 13, 2023 by forell
Colorful syntax for OCaml code
#76 opened Nov 27, 2023 by ppolesiuk
@ppolesiuk
Elaborate on Sec. 8.2. Imperative Representation of Terms prose Detailed description is needed
#75 opened Nov 27, 2023 by ppolesiuk
Elaborate on Sec. 8.1. (Reconstruction of) Simple Types prose Detailed description is needed
#74 opened Nov 27, 2023 by ppolesiuk
Free theorems in Sec. 7.4 math Typesetting of math technical material
#73 opened Nov 27, 2023 by ppolesiuk
Elaborate on Sec. 7.1. Existential Types prose Detailed description is needed
#61 opened Nov 10, 2023 by ppolesiuk
Elaborate on Sec. 6.2. Logical Relations for Polymorphism prose Detailed description is needed
#45 opened Oct 28, 2023 by ppolesiuk
Elaborate on Sec. 5.2. Biorthogonal Closure prose Detailed description is needed
#43 opened Oct 28, 2023 by ppolesiuk
1
Statements of theorems in Sec. 1.2. improvement Improvement of a narration
#37 opened Oct 23, 2023 by ppolesiuk
Motivation for subtitution and α-equivalence in Sec. 1.2 improvement Improvement of a narration
#36 opened Oct 23, 2023 by ppolesiuk
@forell
1
Definition of free variables in Sec. 1.2. improvement Improvement of a narration question Further information is requested
#35 opened Oct 23, 2023 by ppolesiuk
@forell
1
Phenomenon of variable binding in Sec. 1.1 improvement Improvement of a narration
#34 opened Oct 23, 2023 by ppolesiuk
@forell
Elaborate on Sec. 3.1. Simply Typed Lambda Calculus prose Detailed description is needed
#17 opened Oct 14, 2023 by ppolesiuk
Elaborate on Sec. 2.5. Programs, and Non-local Reductions: call/cc prose Detailed description is needed
#16 opened Oct 14, 2023 by ppolesiuk
Elaborate on Sec. 2.4. Evaluation Contexts and Reduction Semantics prose Detailed description is needed
#15 opened Oct 14, 2023 by ppolesiuk
Elaborate on Sec. 2.3. Structural Operational Semantics prose Detailed description is needed
#14 opened Oct 14, 2023 by ppolesiuk
Elaborate on Sec. 2.2. Expressions, Values, and Operational Semantics prose Detailed description is needed
#13 opened Oct 14, 2023 by ppolesiuk
Elaborate on Sec. 2.1. Denotational Semantics prose Detailed description is needed
#12 opened Oct 14, 2023 by ppolesiuk
ProTip! Exclude everything labeled bug with -label:bug.