git has plenty of properties that are supposed to be true. The developers write ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

dons on May 9, 2012 | parent | context | favorite | on: Darcs - Another open source version control system

git has plenty of properties that are supposed to be true. The developers write tests for them. The properties being tested could be proven instead.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact