Functional Programming in Idris 2 | Hacker News

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

		Functional Programming in Idris 2 (github.com/stefan-hoeck)
		3 points by nerdponx on Jan 13, 2024 \| hide \| past \| favorite \| 1 comment

tluyben2 on Jan 13, 2024 [–]

This was a good read for me. Recommended.

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