minus-squaremyotheraccount@lemmy.worldtoProgrammer Humor@lemmy.ml•Infallible Codelinkfedilinkarrow-up2·1 day agoI hadn’t seen Idris2. Thank you for providing me with a new rabbit hole! linkfedilink
minus-squaremyotheraccount@lemmy.worldtoProgrammer Humor@lemmy.ml•Infallible Codelinkfedilinkarrow-up107·2 days agoftfy bool IsEven(int number) { return !IsOdd(number); } bool IsOdd(int number) { return !IsEven(number); } linkfedilink
I hadn’t seen Idris2. Thank you for providing me with a new rabbit hole!