diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-07-19 11:27:13 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-07-19 11:27:13 +0100 |
| commit | 1895a968f82a1d1cbb2b456d9a0f93c24a87902f (patch) | |
| tree | e5aea3b459163f0ada9c6be606d799c524f4c051 /LICENSE | |
| parent | 8be47dab69cb2f651937ee2751968b5ad23e0064 (diff) | |
agda-stdlib: upgrade to version 1.7.2
agda-categories: upgrade to version 0.1.7.2
cubical: upgrade to version 0.5
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions