s/you describe/the submitted web page describes/ FTFY What I describe isn't bein... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

kazinator on March 8, 2019 | parent | context | favorite | on: Programming paradigms that change how people think...

  s/you describe/the submitted web page describes/

FTFY

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact