diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-05 14:30:04 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-05 14:30:04 +0000 |
| commit | 96d1b4fff570575337fa5d01aae878e6255c665f (patch) | |
| tree | edf63f6b2427adbc69079a8415d25eb524847fe1 /LICENSE | |
| parent | d2018f42ee499264dc80fb20cbeb8f6a7994831d (diff) | |
agda-stdlib: add version 1.7
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions