A can’t miss awesome thing for people on the precipice of the dependent type the... | Hacker News

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

		jshaqaw on Jan 21, 2023 \| parent \| context \| favorite \| on: Idris: A language for type-driven development A can’t miss awesome thing for people on the precipice of the dependent type theory rabbit hole is 1lab: https://1lab.dev/#lab 1lab is the future for mathematics research that deserves to happen.

still_grokking on Jan 21, 2023 [–]

It's a pity I can't up-vote more than once.

Really great resource! Thanks for sharing!

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