commit | 7a977d270f554114784c1eec7a5ef0f5aa92be02 | [log] [tgz] |
---|---|---|
author | aiuto <aiuto@google.com> | Fri Dec 16 12:55:55 2022 -0500 |
committer | GitHub <noreply@github.com> | Fri Dec 16 12:55:55 2022 -0500 |
tree | b338a2d472f7adec904a8120eb2796a38f80f697 | |
parent | 183581b9c3844a661e97bbc7979e947dee6e2c30 [diff] | |
parent | 5b1abc04581905698c3994c8d80702602a7237de [diff] |
Merge pull request #65 from aiuto/docs First cut at doc generation. They are ugly, but it's a start.
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.