Repository navigation
23.12.04: Merge pull request #25 from smucclaw/cleanup-tle
t-le: comment out the TODOs in transpilers-logical-english.rst; add a few quick explanations / clarifications
t-le: comment out the TODOs in transpilers-logical-english.rst; add a few quick explanations / clarifications