Re:Show HN: A dependently-typed programming language with st...
by _bxg1 on Saturday May 23, 2020 @02:23PM
(#23285162)
The parent comment comes off as arrogant but so does this one. Oftentimes concepts like these are presented in language that's more impenetrable than necessary. I don't know if that's true here but it's a genuine problem.
[ Parent
| on HN ]
There are no comments on this comment yet.