Comment on Show HN: IHP v1.0 – Batteries-included web framework built on Haskell and NixparentComments−epgui3ySee 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! :)
Comments
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! :)