Welcome to Agda-Material Discussions! · pdmosses agda-material · Discussion #3 · GitHub

Repository navigation

pdmosses
Dec 9, 2025
Maintainer

👋 Welcome!

Discussions is a forum for those using (or thinking of using) Agda-Material for generating websites from Agda code.

Feel free to:

Ask questions you’re wondering about.
Share ideas.
Engage in discussions started by others.

Replies: 0 comments

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment