markokoleznik / agda-writer

A simple GUI for Agda
Other
31 stars 2 forks source link

Improve licencing information. #30

Closed andrejbauer closed 8 years ago