Completely agree, I guess I meant if you're writing an application you're going ... | Hacker News

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

mkw5053 3 months ago | parent | context | favorite | on: Official Clojure Documentary page with Video, Show...

Completely agree, I guess I meant if you're writing an application you're going to be a lot less productive using Idris.

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