diff options
| author | John Ericson <John.Ericson@Obsidian.Systems> | 2023-09-06 09:24:52 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-06 09:24:52 -0400 |
| commit | 754528241a07677bf87255b5aa36c73e610171e1 (patch) | |
| tree | 209c4860f01bb28e5b3a5e2c379886c79e867ae1 /.github | |
| parent | 83f99a380b3230092906cd7d2b847b8fcc9723f4 (diff) | |
| parent | d568877eab59a490694e0bc3edec99d13049552c (diff) | |
Merge pull request #8927 from obsidiansystems/test-derivation-aterm
Test and begin documentation of the ATerm format for derivations
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions