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

Update Wiki documentation on erasable syntax #487

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

Update Wiki documentation on erasable syntax #487

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

Comments

@dtarditi
Copy link
Member

dtarditi commented Jul 11, 2023 •
edited
Loading

The Wiki documentation needs to be updated. Right now we only have a proposal. The descriptions there need to be integrated into the descriptions for the various language features. We also need an overview page describing how to use the erasable syntax.
@dtarditi dtarditi changed the title Update Update Wiki documentation on erasable syntax 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
@dtarditi dtarditi mentioned this issue May 24, 2023
Open
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
Checked C Board
Status: Todo
Milestone
Checked C v1.0 release
Development

No branches or pull requests
1 participant
@dtarditi