Re:Show HN: Dependently typed language for proofs that you c...
by Zababa on Sunday October 03, 2021 @01:43PM
(#28738969)
The order is one thing, but for me, it's the addition of a colon to separate the two properly that's important. That's probably also highly subjective as some people find syntax highlighting useless and I think it's great, but in general I like having a bit more tokens to know where I am.
[ Parent
| on HN ]
There are no comments on this comment yet.