Geeks
wolverian
/
agda-reference-filter
Primary Language
Haskell
BSD 3-Clause "New" or "Revised" License
BSD-3-Clause
agda-reference-filter Home Page
agda-reference-filter GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
Stargazers
wolverian
@reaktor