Agda (keyword)

types of item

Number of records 8, displaying 1 - 8