Add bugfix (unreleased) notes for binary-sum typing issue#147

konn merged 1 commit intodevelopJij-Inc/JijModeling-Tutorials:developfrom

kory33/fix-binary-sum-typecheckingJij-Inc/JijModeling-Tutorials:kory33/fix-binary-sum-typecheckingCopy head branch name to clipboard