issues
search
markokoleznik
/
agda-writer
A simple GUI for Agda
Other
31
stars
2
forks
source link
Remove unwanted files
#6
Closed
andrejbauer
closed
9 years ago