The Power of Types in Idris | Hacker News

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

		The Power of Types in Idris (azavea.com)
		2 points by based2 on March 13, 2019 \| hide \| past \| favorite \| 1 comment

based2 on March 13, 2019 [–]

https://lobste.rs/s/drw8uh/power_types_idris

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