Naming of addition and multiplication
bvssvni opened this issue · comments
Suggestion:
FAddfor struct,Add<A, B>for type aliasFMulfor struct,Mul<A, B>for type alias
advancedresearch / prop
Propositional logic with types in Rust
Propositional logic with types in Rust
bvssvni opened this issue · comments
Suggestion:
FAdd for struct, Add<A, B> for type aliasFMul for struct, Mul<A, B> for type alias