News for hackers. Stuff that matters.

A comment on A Pure Types-Driven real-world apps development approach. Parent comment

Re:A Pure Types-Driven real-world apps development approach by marcle on Sunday September 12, 2021 @04:11AM (#28499436)
The mail-list has been quiet recently, but Ur/Web is not defunct: http://impredicative.com/ur/
[ Parent | on HN ]
Re:A Pure Types-Driven real-world apps development approach by jhoxray on Sunday September 12, 2021 @05:48AM (#28499801)
very nice, thank you!
[ Parent | on HN ]