GitHub repository: markokoleznik/agda-writer
Primary language: Objective-C
Description: A simple GUI for Agda