News for hackers. Stuff that matters.

A comment on My first verified imperative program. Parent comment

Re:My first verified imperative program by Joker_vD on Friday July 11, 2025 @06:42AM (#44530618)
Yes, it's actually quite easy:

    +: (int<N>, int<N>) -> int<N+1>    // or (int<N>, bit) as the return type
    *: (int<N>, int<N>) -> int<2*N>
etc. Those are the actual types of those arithmetic operations.
[ Parent | on HN ]

There are no comments on this comment yet.