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

Wed, 22 Jul 2009 18:50:41 -0700 

Wolfgang Jeltsch <[email protected]> writes:

> 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? 

Why can't it just be "agda"?  Even if there's a separate library
package, that would have the source name "haskell-agda" and binary names
"libghc6-agda-{dev,prof,doc}", so there'd be no conflict.


-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to