News for hackers. Stuff that matters.

A comment on Types as Interfaces. Parent comment

Re:Types as Interfaces by mrkeen on Tuesday July 23, 2024 @05:40PM (#41051241)
see the 'total' keyword in Idris

https://docs.idris-lang.org/en/latest/proofs/patterns.html

[ Parent | on HN ]

There are no comments on this comment yet.