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 SuaveSteve on Sunday September 12, 2021 @07:43AM (#28500285)
>Same goes for TDD.

How so?

[ Parent | on HN ]
Re:A Pure Types-Driven real-world apps development approach by macando on Sunday September 12, 2021 @03:48PM (#28504270)
Please check my answer to "capableweb" user in this thread.
[ Parent | on HN ]