| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | agda: install literate files | Alex Rice | 2020-06-01 |
| * | agda: fix typo in library management documentation | Uma Zalakain | 2020-05-24 |
| * | agda: rework builder | Alex Rice | 2020-05-14 |
| index : nixlib | |
| Alyssa's collection of Nix expressions | Alyssa Ross |
| about summary refs log tree commit diff |
| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | agda: install literate files | Alex Rice | 2020-06-01 |
| * | agda: fix typo in library management documentation | Uma Zalakain | 2020-05-24 |
| * | agda: rework builder | Alex Rice | 2020-05-14 |