commit | 6654b23c39d67c1413bfa619130e769ac66e4313 | [log] [tgz] |
---|---|---|
author | Tony Aiuto <aiuto@google.com> | Thu Jun 01 18:09:50 2023 -0400 |
committer | Tony Aiuto <aiuto@google.com> | Thu Jun 01 18:09:50 2023 -0400 |
tree | 8613456d893f718cb88c28a4caaac14f133a84c9 | |
parent | faf91b51e5e783c802dde83c06e236fd8cd01f07 [diff] | |
parent | 27c9be72d2285755f90ffd0920ea9020939d682e [diff] |
Merge branch 'main' into ttt
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.