News for hackers. Stuff that matters.

A comment on Programming paradigms that change how people think about coding (2014). Parent comment

Re:Programming paradigms that change how people think about ... by kazinator on Friday March 08, 2019 @11:30AM (#19339048) 

  s/you describe/the submitted web page describes/
FTFY

What I describe isn't being posed as "dependent types".

[ Parent | on HN ]

There are no comments on this comment yet.