Re:Show HN: Dependently typed language for proofs that you c...
by andrewflnr on Saturday October 02, 2021 @12:15PM
(#28729753)
In nearly every aspect other than the "name: type" part. I think they were talking about the whole thing. And indeed, the language in the article they posted is not so far off Typescript syntax-wise.
[ Parent
| on HN ]
There are no comments on this comment yet.