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

Published 20 hours ago • verified publisher icon plt-amy
→

Metadata

Search for identifiers in Agda codebases

← Metadata

15
Stars
1
Forks
Watchers

Owner

verified publisher icon plt-amy

Metadata

Search for identifiers in Agda codebases

Back