Hacktoberfest
Repository metrics
- Stars
- (13,462 stars)
- PR merge metrics
- (No merged PRs in 30d)
Description
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.