Skip to content

Update PLFA to use Agda v2.7 #801

Update PLFA to use Agda v2.7

Update PLFA to use Agda v2.7 #801

Annotations

12 warnings

Build on Linux

succeeded Sep 5, 2024 in 11m 58s