commit | d2d24ea73637cba00e875d9b37c560d2218cf42e | [log] [tgz] |
---|---|---|
author | aiuto <aiuto@google.com> | Wed Jun 14 11:22:32 2023 -0400 |
committer | GitHub <noreply@github.com> | Wed Jun 14 11:22:32 2023 -0400 |
tree | fe2fdbaa213b8b73ffaf4b95676456ae75d614ce | |
parent | e7274050df8f119b750a792ef669d4d52e2aa572 [diff] | |
parent | 353e7db9b0d4257f3c11fe764578282688749f8e [diff] |
Merge pull request #100 from aiuto/no_py Stop encouraging people to pull in an old python
This repository contains a set of rules and tools for
WARNING: The code here is still in active initial development and will churn a lot.
If you want to follow along:
Background reading: These is for learning about the problem space, and our approach to solutions. Concrete specifications will always appear in checked in code rather than documents.