commit | e3bdc544ef373156da36638b774d65ff2d978bfa | [log] [tgz] |
---|---|---|
author | aiuto <aiuto@google.com> | Wed Nov 02 00:20:00 2022 -0400 |
committer | GitHub <noreply@github.com> | Wed Nov 02 00:20:00 2022 -0400 |
tree | 4ed49f7c5737ed0cece8039f6185a0e4a6b74a9c | |
parent | 3b80554a610916e34d2cda79f77f0eb35a5c7b84 [diff] | |
parent | 3e56c48e13b0d77d181170b1ea67d6b52486cf11 [diff] |
Merge pull request #53 from aiuto/from_piper Mega merge of improvements from Google
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.