guix.git - Mirror of the official guix repository

index : guix.git

Mirror of the official guix repository

Vivien

summary refs log tree commit diff

path: root/gnu/packages/agda.scm

Age	Commit message (Expand)	Author
2018-07-29	gnu: Add emacs-agda2-mode...	Alex ter Weele
2018-07-29	gnu: agda: Compile .agda files....	Alex ter Weele
2018-02-26	gnu: Add agda....	Alex ter Weele