Skip to content
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

Types are values of type type #2360

Merged
merged 25 commits into from
Dec 22, 2022
Merged

Types are values of type type #2360

Changes from 11 commits
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
7cf53a2
Filling out template with PR 2360
zygoloid Oct 28, 2022
a7a6ad1
Initial proposal draft.
zygoloid Oct 29, 2022
4e47068
Update proposals/p2360.md
zygoloid Oct 31, 2022
3196819
Update proposals/p2360.md
zygoloid Oct 31, 2022
68dcd22
Update proposals/p2360.md
zygoloid Oct 31, 2022
0f73ca8
Responses to review comments.
zygoloid Oct 31, 2022
fa70880
Rephrase a little more.
zygoloid Oct 31, 2022
5ba05bc
Improve terminology.
zygoloid Oct 31, 2022
496b8c9
Updates based on design discussion and feedback.
zygoloid Nov 10, 2022
525a0ee
More updates based on feedback.
zygoloid Nov 11, 2022
67031ba
Attempt to improve definition of _facet type_.
zygoloid Nov 16, 2022
df800b5
Fix wrong issue number in reference.
zygoloid Nov 16, 2022
3816f73
Apply suggestions from code review
zygoloid Nov 16, 2022
08dc2bf
Apply suggestions from code review
zygoloid Nov 16, 2022
ea8c2de
Add rationale for not defining `type` in the library.
zygoloid Nov 17, 2022
aeb4532
Reformat.
zygoloid Nov 17, 2022
3890809
Say that it's an open question whether `constraint Foo {}` should mean
zygoloid Nov 17, 2022
e1cbd51
Mention issue for leads #2409.
zygoloid Nov 17, 2022
132acc6
Checkpoint progress.
josh11b Nov 19, 2022
1a70443
Fix formatting
josh11b Nov 22, 2022
35bd2ed
Clean up rationale in alternative
josh11b Nov 22, 2022
1d65c9a
Start on teachability
josh11b Nov 22, 2022
6d690a1
Responses to review comments.
zygoloid Dec 17, 2022
6079749
Add additional discussion link
zygoloid Dec 17, 2022
7a30d2d
Update proposals/p2360.md
josh11b Dec 22, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading