[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Bug#537705: ITP: agda-executable -- Commandline interface to Agda -- a dependently typed functional programming language and proof assistant

Am Montag, 20. Juli 2009 12:23 schrieb Iain Lane:
> * Package name    : agda-executable

Why agda-exectuable? Wouldn’t it be more common to name this package agda-cli? 
On etch, there are five packages with names of the form *-cli but none with a 
name of the form *-executable. A GUI interface would probably also provided 
by an executable, so “executable” doesn’t explicitely refer to a command line 
interface (cli).

Best wishes,

Reply to: