Gitstar Ranking

emacsmirror / agda-editor-tactics

An editor tactic to produce Σ-types from Agda records - View it on GitHub
https://github.com/alhassy/next-700-module-systems
Star
0
Rank
13953777