| 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 : gds/gnu-guix | |
| This repository contains snapshots of GNU Guix, to be used by the govuk-guix project. | 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 |