GitHub repository: plt-amy/agda-search
Primary language: Haskell
Created: 2022-02-19T00:53:16Z
Description: Search for identifiers in Agda codebases