| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | gnu: Add emacs-agda2-mode | Alex ter Weele | 2018-07-29 |
| * | gnu: agda: Compile .agda files. | Alex ter Weele | 2018-07-29 |
| * | gnu: Add agda. | Alex ter Weele | 2018-02-26 |
| index : guix/patches | |
| Guix | Gitolite user |
| aboutsummaryrefslogtreecommitdiff |
| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | gnu: Add emacs-agda2-mode | Alex ter Weele | 2018-07-29 |
| * | gnu: agda: Compile .agda files. | Alex ter Weele | 2018-07-29 |
| * | gnu: Add agda. | Alex ter Weele | 2018-02-26 |