Flora :: [Package]

Search a package

@hackage / agda2lagda

Translate .agda files into .lagda.tex files.

0.2025.9.5

About 6 Versions Changelog 0 Dependency 0 Dependent Security

About 6 Versions Changelog 0 Dependency 0 Dependent Security

Dependents

A modern package index for Haskell

More links

Documentation
All Packages
Login

Get In Touch

Email
Mastodon
Bluesky

A project made by humans Sources distributed under AGPL license Design & Frontend by Guérilla.Studio