See also: - Idris (https://www.idris-lang.org/) - Agda (https://wiki.portal.chal... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

epgui on Oct 25, 2022 | parent | context | favorite | on: Show HN: IHP v1.0 – Batteries-included web framewo...

See also:

- Idris (https://www.idris-lang.org/)

- Agda (https://wiki.portal.chalmers.se/agda/Main/HomePage)

I'm really excited by progress in this space! :)

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