diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2024-08-23 13:23:34 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2024-08-23 13:23:34 +0100 |
| commit | 2ac7f4815786f69be5eed9026603d4737a12b97f (patch) | |
| tree | 8c77432be69d33f958d215cf3d697393bdfc8d9c /.guix-channel | |
| parent | 3d518742645de8e3c0b2b98067d86046785a8407 (diff) | |
[chore] fix lint errors in idris.
Diffstat (limited to '.guix-channel')
0 files changed, 0 insertions, 0 deletions