Agda Writer vs. Agda Wrapper

markokoleznik / agda-writer

A simple GUI for Agda

Other

31 stars 2 forks source link

Closed andrejbauer closed 9 years ago

andrejbauer commented 9 years ago

The project is called "Agda Writer" but the application icon says "Agda Wrapper". Which will it be?

markokoleznik commented 9 years ago

Agda Writer.