Skip to content

Add instances to Prelude.agda #2708

Add instances to Prelude.agda

Add instances to Prelude.agda #2708