Naming of successor function
bvssvni opened this issue · comments
Suggestion:
FSucc for struct, Succ<N> for type alias
This design is similar as for addition and multiplication #1438
advancedresearch / prop
Propositional logic with types in Rust
Propositional logic with types in Rust
bvssvni opened this issue · comments
Suggestion:
FSucc for struct, Succ<N> for type alias
This design is similar as for addition and multiplication #1438