log cbc/maybe-subtype.agda @ 57:75f9f71f364a

age author description
Thu, 12 Jan 2017 01:04:59 +0000 atton Trying define maybe-subtype