[opentheory-users] The Gilith OpenTheory Repo is released

[Ramana Kumar]

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
>