typstPackages.color-my-agda

Syntax highlight for Agda on Typst

Name

color-my-agda

Homepage

• https://codeberg.org/foxy/color-my-agda

Version

0.2.0

License

• GNU Affero General Public License v3.0 or later
• MIT License

Maintainers

• Gongqi Huang
• Ross Smyth

Defined

Source