3 ms·Sounds like TDD and langchain? Where the T can be anything from Ruby unit tests to Coq proofs.by quickthrower2 3y agoSounds like TDD and langchain? Where the T can be anything from Ruby unit tests to Coq proofs.