search

checkedc / checkedc-fork

This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
Other
26 stars 3 forks source link

Update Wiki documentation on erasable syntax #487

Open dtarditi opened 1 year ago

dtarditi commented 1 year ago

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.