tzemanovic/plfa - Change FUXV43PVZVTXQHIERAF2BDBCXUFW2AKPFDJTGEKFIOBGRIHVFXHAC

PLFA agda exercises

ignore /src/_build

Created by tzemanovic on February 13, 2026

FUXV43PVZVTXQHIERAF2BDBCXUFW2AKPFDJTGEKFIOBGRIHVFXHAC

Dependencies

[2] KP5GBJVKNNXJSXXNDN774RRQCCH3PWX5XY7S66IBZQRF2X2YDANQC

In channels

main

Change contents

Insertion in .ignore at line 7 [2.414]
[2.486]
[2.486]
```
/src/_build/
```