Skip to content

Add mappings to Agda types #732

Add mappings to Agda types

Add mappings to Agda types #732