Skip to content
This repository has been archived by the owner on Sep 30, 2024. It is now read-only.

Update description of generic types on the Wiki #496

Open
dtarditi opened this issue Jul 11, 2023 · 0 comments
Open

Update description of generic types on the Wiki #496

dtarditi opened this issue Jul 11, 2023 · 0 comments
Assignees
@dtarditi
Milestone
Checked C v1.0 re...

Comments

@dtarditi
Copy link
Member

Currently we only have a page with some examples. It does not clearly describe the syntax. This is really hard to follow and has confused everyone who has used the feature. Update the page to have a proper description of syntax and an informal description of the static checking.
@dtarditi dtarditi self-assigned this Jul 11, 2023
@dtarditi dtarditi added this to the Checked C v1.0 release milestone Jul 11, 2023
@dtarditi dtarditi moved this to Todo in Checked C Board Jul 11, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@dtarditi dtarditi

Labels
None yet
Projects
Checked C Board
Status: Todo
Milestone
Checked C v1.0 release
Development

No branches or pull requests
1 participant
@dtarditi