agda-cli

A command-line tool to perform Agda commands like checking, running, and compiling