typstPackages.color-my-agda_0_1_0

Syntax highlight for Agda on Typst

Name

color-my-agda

Homepage

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

Version

0.1.0

License

• GNU Affero General Public License v3.0 or later

Maintainers

• Gongqi Huang
• Ross Smyth

Defined

Source