News for hackers. Stuff that matters.
Re:Show HN: Dependently typed language for proofs that you c... by vmladenov on Saturday October 02, 2021 @03:37PM (#28731357)
You can take issue with the order of the presentation but the definition is in the following section. There’s nothing to look up, it’s just an arbitrary choice by the author.

There are no comments on this comment yet.