Hacktoberfest
Repository-Metriken
- Stars
- (13.462 Stars)
- PR-Merge-Metriken
- (Keine gemergten PRs in 30 T)
Beschreibung
This is a(n):
- New algorithm
- Update to an existing algorithm
- Error
- Proposal to the Repository
Details:
I propose to adapt a consistent format for functions
/* Description [What it does]
* -
* Arguments [The arguments and their type]
* - Arg_1 of type_n
* - ...
* - - Arg_i of type_m
* Return Value [What it returns and the type]
* - ...
*
*/
This would give the code structure, prevent errors and achieve a specification to develop Hoare proofs for algorithms here.