commit | 40c82f29c65982bb8756bcfeb3aa7e32ca6813d6 | [log] [tgz] |
---|---|---|
author | aiuto <aiuto@google.com> | Thu Mar 02 09:01:47 2023 -0500 |
committer | GitHub <noreply@github.com> | Thu Mar 02 09:01:47 2023 -0500 |
tree | 2aab214566e0c086577edbf21450ca09975f78fd | |
parent | 95f66cf97ece85cfadbb4b63e6afa8cf0735a9e0 [diff] | |
parent | 7de72c96421484ad4d7c068fa58a68d57ea33fa1 [diff] |
Merge pull request #77 from aiuto/nosub Make rules/private a distinct package.
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.