Geeks
halfaya
/
MusicTools
Primary Language
Agda
MIT License
MIT
MusicTools GitHub
Markdown
Readme
1
Issue
40
Stargazers
6
Watchers
Issues
Closed issue
Attempting to build Main.agda with README instructions gives error for agda version 2.6.1.2
#1 opened
4 years ago
by
enlambdment
2