GitHub repository: phijor/agda-index
Primary language: Rust
Created: 2023-01-29T21:17:29Z
Description: Poor man's Agda identifier indexing