Skip to content

mention actual agda terms in the explanation #3127

mention actual agda terms in the explanation

mention actual agda terms in the explanation #3127

This job was skipped