News for hackers. Stuff that matters.

A comment on Idris 2: Quantitative Type Theory in Practice. Parent comment

Re:Idris 2: Quantitative Type Theory in Practice by ozmaverick72 on Sunday January 23, 2022 @08:58PM (#30052786)
Yip you are right I got that screwed up.
[ Parent | on HN ]

There are no comments on this comment yet.