commit | 35e85b3049b0948b0b7c3df316269e7db0b7e900 | [log] [tgz] |
---|---|---|
author | aiuto <aiuto@google.com> | Thu Apr 27 11:53:02 2023 -0400 |
committer | GitHub <noreply@github.com> | Thu Apr 27 11:53:02 2023 -0400 |
tree | 33812bdd75eed9fa884fbe2ce6604047ef4c8d61 | |
parent | baadb37bfc2c17e5080576295927c94eccdae2af [diff] | |
parent | f09c8ba07fa8a3277079ac1d31e3782780555ff9 [diff] |
Merge pull request #90 from aiuto/exec Partial solution to #89.
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.