https://github.com/educorreia932/chique

🐥 Code formatter for Agda
https://github.com/educorreia932/chique

agda code-formatter haskell

Last synced: about 1 year ago
JSON representation

🐥 Code formatter for Agda

• Host: GitHub
• URL: https://github.com/educorreia932/chique
• Owner: Educorreia932
• License: agpl-3.0
• Created: 2024-09-03T14:46:18.000Z (almost 2 years ago)
• Default Branch: dev
• Last Pushed: 2024-09-14T14:24:30.000Z (almost 2 years ago)
• Last Synced: 2024-10-12T23:42:32.549Z (over 1 year ago)
• Topics: agda, code-formatter, haskell
• Language: Haskell
• Homepage:
• Size: 14.6 KB
• Stars: 8
• Watchers: 1
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Chique

**Chique is still in development and not yet ready for use.**

Chique is a code formatter for Agda.