agda-spec icon indicating copy to clipboard operation
agda-spec copied to clipboard

verified publisher icon agda
→

Metadata

Specification of Agda.

agda-spec Build Status

Specification of Agda.

← Metadata

25
Stars
3
Forks
Watchers

Owner

verified publisher icon agda

Metadata

Specification of Agda.

Back