For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
IPL: Intuitionistic Programming Language (2013) (intuitionistic.org)
52 points by blending on July 3, 2022 | past | 16 comments
Intuitionistic: a new kind of programming language (intuitionistic.org)
2 points by techtalsky on Nov 4, 2013 | past
IPL: Intuitionistic Programming Language (intuitionistic.org)
3 points by PuercoPop on Oct 27, 2013 | past

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

Search:

HN For You