Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Show HN: IHP v1.0 (Batteries-included web framework built on Haskell and Nix). Parent comment
- Idris (https://www.idris-lang.org/)
- Agda (https://wiki.portal.chalmers.se/agda/Main/HomePage)
I'm really excited by progress in this space! :)
There are no comments on this comment yet.
- Idris (https://www.idris-lang.org/)
- Agda (https://wiki.portal.chalmers.se/agda/Main/HomePage)
I'm really excited by progress in this space! :)