Dependent Types and Theorem-Proving :: I suck at ATS

First published at 09:33 UTC on August 22nd, 2018.

The coolest part of ATS!

Bob talking about TTD: https://8thlight.com/blog/uncle-bob/2014/04/30/When-tdd-does-not-work.html

More about this subject in section III of Introduction to Programming in ATS

CategoryScience & Technology
SensitivityNormal - Content that is suitable for ages 13+