diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2023-04-30 12:12:00 +0200 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2023-06-04 10:59:36 +0200 |
| commit | cf2c3f797003a67c9a8d3c1400a480c617f89eda (patch) | |
| tree | 6b370619e040ae9be5982b2e7514aa88c0df7f33 /.editorconfig | |
| parent | 8203e8f3c9cf0462abb9f03e42e578fe28599c36 (diff) | |
| download | guix-cf2c3f797003a67c9a8d3c1400a480c617f89eda.tar.gz | |
gnu: Add agda-cubical.
* gnu/packages/agda.scm: New variable agda-cubical.
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions