commit | 989ccbf8d64556d248b10d8797951bd03a9ea326 | [log] [tgz] |
---|---|---|
author | aiuto <aiuto@google.com> | Fri Dec 16 13:10:13 2022 -0500 |
committer | GitHub <noreply@github.com> | Fri Dec 16 13:10:13 2022 -0500 |
tree | 84e6c5bdd765d3a42e86b7d74c4aebc01ddcd091 | |
parent | 7a977d270f554114784c1eec7a5ef0f5aa92be02 [diff] | |
parent | 50a911beef394976c061a3066304fef256f64be9 [diff] |
Merge pull request #66 from aiuto/doc2 Add missing docs glue. This usually takes several iterations just to turn on. None of this is executable, or part of the distribution builds, so I am force submitting.
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.