app-emacs/agda-lib-mode
Major mode for Agda library files
Screenshots
View
Download
BrowseChangeLog
commit 2821a435a7b4cdbba324391b92625f4529d05a93
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Mon Oct 20 08:22:02 2025 +0000
Auto-generated ebuilds 2025-10-20T08:22:02.
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Mon Oct 20 08:22:02 2025 +0000
Auto-generated ebuilds 2025-10-20T08:22:02.