Skip to content

Prep for Agda 2.8.0: remove some spurious `private`

71f32f0
Select commit
Loading
Failed to load commit list.
Merged

Prep for Agda 2.8.0: remove some spurious private #1205

Prep for Agda 2.8.0: remove some spurious `private`
71f32f0
Select commit
Loading
Failed to load commit list.