SimpleTRS: A LaTeX Package for typesetting Term-rewriting systems! · GitHub - discu.eu

Reddit

Hey guys. I wrote a very small LaTeX package for typesetting Term-rewriting rules. I needed it for a literate program, a toolset for Lua that provides stuff such as Partial evaluation --- hence the need for typesetting TRS. Here's the .sty file. https://gist.github.com/Chubek/1f191c859e9a6af45a1d34a752b31e05 2 comments 15/9/2024 compsci

Linking pages

Chubek (Behrang Nevii) · GitHub https://github.com/Chubek#texlatex 2 comments

Linked pages

Chubek (Behrang Nevii) · GitHub https://github.com/Chubek#texlatex 2 comments

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:gist.github.com

Search title: SimpleTRS: A LaTeX Package for typesetting Term-rewriting systems! · GitHub

See how to search.

Submit link to: