Re:Show HN: Dependently typed language for proofs that you c...
by amw-zero on Saturday October 02, 2021 @10:26AM
(#28728810)
How is ML syntax any different from Typescript?
[ Parent
| on HN ]
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.