commit | 1a7de71310ddd9970813e5e3140face54d70a500 | [log] [tgz] |
---|---|---|
author | aiuto <aiuto@google.com> | Tue Jun 06 16:18:13 2023 -0400 |
committer | GitHub <noreply@github.com> | Tue Jun 06 16:18:13 2023 -0400 |
tree | 35d97f77838e03749e56bee4d2e33b104380d9b1 | |
parent | b423e59ad2b1263f3087f80025945125d0a1d153 [diff] | |
parent | d2079395d39c09985c3ac70689844c6a5b3a66f0 [diff] |
Merge pull request #99 from aiuto/exam_man Move the manifest() rule to the examples tree.
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.