commit | acee90188bd0f33f6645374e6f438ede05034804 | [log] [tgz] |
---|---|---|
author | aiuto <aiuto@google.com> | Thu Jun 15 20:33:23 2023 -0400 |
committer | GitHub <noreply@github.com> | Thu Jun 15 20:33:23 2023 -0400 |
tree | a64fe07c91202fdfb432e33faa021d59dcf34a49 | |
parent | c131f016f57477f02a7e9c91480fa4f3e66bee10 [diff] | |
parent | cf005008ba48bbf56cbe6c28c8023246b78f02a7 [diff] |
Merge pull request #103 from aiuto/nits Last few fixes before the next release
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.