diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-09-02 17:32:49 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-02 22:32:49 +0000 |
commit | bc008131991c13bb635c9351942e1ef3f7e6f49b (patch) | |
tree | 9c6612afecaa54dd46d9c5e7b7fcffc80cbc40ac /src/options | |
parent | e2994ed485c941c669787ce38876e2478dba28d0 (diff) |
Add LFSC node converter (#6944)
This utility converts from terms used in the internal calculus to terms that capture how they should be printed in LFSC.
Diffstat (limited to 'src/options')
0 files changed, 0 insertions, 0 deletions