[opentheory-users] The Gilith OpenTheory Repo is released

[Joe Hurd]

Hi Ramana,

Well spotted, it seems I uploaded a bad version of base :-(

I'll upload a fix in short order, and send out an update when I do.

Cheers,

Joe

On Wed, Mar 16, 2011 at 9:53 AM, Ramana Kumar <ramana.kumar at gmail.com> wrote:
> Why are there axioms about about tail and head and map required for
> the base package? It seems a bit odd, given that there aren't any,
> say, for length, and also since those constants are supposed to be
> defined by the package.
>
> On Mon, Mar 14, 2011 at 9:28 PM, Joe Hurd <joe at gilith.com> wrote:
>> What better day than Pi Day to announce the release of the Gilith
>> OpenTheory Repo
>>
>> http://opentheory.gilith.com/
>>
>> which is now live and ready to receive your theory packages.
>>
>> Buyer beware: it's only lightly tested and almost certainly contains
>> bugs, but please dive in anyway and feel free to report infelicities
>> and missing features on this list.
>>
>> Cheers,
>>
>> Joe
>>
>> _______________________________________________
>> opentheory-users mailing list
>> opentheory-users at gilith.com
>> http://www.gilith.com/opentheory/mailing-list
>>
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>