commit | cfbf25b6aa192a721753d624c50c85f22793317c | [log] [tgz] |
---|---|---|
author | aiuto <aiuto@google.com> | Fri May 19 12:14:30 2023 -0400 |
committer | GitHub <noreply@github.com> | Fri May 19 12:14:30 2023 -0400 |
tree | 039204f0c10cf374ff461263d471b79ee594e2f1 | |
parent | 9496f6ec965a10a3c1be3f43f1cd1647aa38a9e4 [diff] | |
parent | 005493db7069188492d8f9f682b7533b0ebfe4dd [diff] |
Merge pull request #93 from aiuto/nms remove namespace a little more
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.