Canonical Snapcraft

Menu

Snap Store
About Snapcraft
Docs
IoT
Forum

My account
Sign in

Joseph Eremondi

(jeremondi-uregina)

Joseph Eremondi has published 1 snap

agda-stdlib-plfa

Agda: a dependently typed functional programming language

© 2026 Canonical Ltd.
Ubuntu and Canonical are registered trademarks of Canonical Ltd.
Powered by Charmed Kubernetes

Join the forum, contribute to or report problems with, snapd, Snapcraft, or this site.

Share on Twitter
Share on Facebook
Share on YouTube

Terms of Service
Data privacy
Manage your tracker settings
Service status
Other functions
Contact us

Contact us