News for hackers. Stuff that matters.

A comment on TDD from the Factorio Team. Parent comment

Re:TDD from the Factorio Team by nyberg on Friday June 18, 2021 @12:09PM (#27551822)
This sounds a lot lke like minikanren (https://github.com/webyrd/Barliman) where you give test cases and Idris2 (https://github.com/idris-lang/Idris2) where you give type constraints as a tool for building programs.
[ Parent | on HN ]

There are no comments on this comment yet.