News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.