Skip to content

Fix a minor grammar mistake in Structure.agda #2164

Fix a minor grammar mistake in Structure.agda

Fix a minor grammar mistake in Structure.agda #2164