Geeks
Educorreia932
/
Chique
🐥 Code formatter for Agda
Primary Language
Haskell
GNU Affero General Public License v3.0
AGPL-3.0
Chique GitHub
Markdown
Readme
1
Issue
9
Stargazers
1
Watcher
Issues
Open issue
Style Guide
#1 opened
2 months ago
5