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 bob1029 on Sunday September 12, 2021 @10:04AM (#28501255)
I will say this about agile - we didn't get this right the first time. If we didn't plan for a little bit of failure and iteration, we wouldn't have found this solution.
[ Parent | on HN ]

There are no comments on this comment yet.