commit | 27c9be72d2285755f90ffd0920ea9020939d682e | [log] [tgz] |
---|---|---|
author | aiuto <aiuto@google.com> | Fri May 19 12:15:28 2023 -0400 |
committer | GitHub <noreply@github.com> | Fri May 19 12:15:28 2023 -0400 |
tree | 95d439fbdd69e17ebca338ea066c03a42d6751a4 | |
parent | 796d237aaffbb690aaf44f5aa962f50578b485b7 [diff] | |
parent | 9f9284cc7e9d366af9eb52675b9d81c0bb0729d7 [diff] |
Merge pull request #94 from aiuto/ver Update version stamp to 0.0.5
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.