commit | d16c07fc244994dc337d36a1de1e870a439306d2 | [log] [tgz] |
---|---|---|
author | Tony Aiuto <aiuto@google.com> | Tue Jun 06 16:08:37 2023 -0400 |
committer | Tony Aiuto <aiuto@google.com> | Tue Jun 06 16:08:37 2023 -0400 |
tree | 15e8079f7a6e204be4a0a13a9f5f63ecd7d2ed21 | |
parent | d167df2e411efe26d4658315f6ad94e79402d99f [diff] | |
parent | b423e59ad2b1263f3087f80025945125d0a1d153 [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.