News for hackers. Stuff that matters.
Re:Prediction: AI will make formal verification go mainstream by mrsmrtss on Friday December 19, 2025 @07:54AM (#46325283)
When using switch expression in C#, they are a lot more similar:

    public int Fib(int n) => n switch
    {
        <= 1 => n,
        _    => Fib(n - 1) + Fib(n - 2)
    };

There are no comments on this comment yet.