All Discussions
discussions
Hopf Algebra = Group + Monad
Here is an example of some work that I would really like to do in Axiom and/or Aldor
Hopf Algebra = Group + Monad
http://sigfpe.blogspot.com/2008/08/hopf-algebra-group-monad.html
by sigfpe on the blog: A Neighborhood of Infinity.
This ...
(0 comments)
Rig
In
http://golem.ph.utexas.edu/category/2008/05/theorems_into_coffee_iii.html
John Baez writes:
A rig is a ‘ring without negatives’ — just like a ring but possibly lacking additive inverses. The classic example is the natural numbers, ?...
(2 comments)
blog on Axiom
Alasdair McAndrew has an interesting new blog where he currently presenting an introduction to introduction to Axiom:
http://amca01.wordpress.com/2008/05/25/an-introduction-to-axiom-1
He writes: "Your comments would be most welcome."
(1 comment)
Project Euler
http://projecteuler.net
Bill Wood writes: "Are you familiar with the ProjectEuler site, would Aldor be a good language for solving their usual math-intensive programming problems?"
What is Project Euler?
Project Euler is a series of challen...
(2 comments)
"Pervasive support for dependent types"
At
http://lambda-the-ultimate.org/node/2737#comment-40909
Quoting from the summary of Aldor at http://aldor.org
... Pervasive support for dependent types allows static checking of dynamic objects. ...
On Tue, 2008-03-25 12:36 Jim Apple...
(2 comments)
Re: What Axiom can do for Aldor
---------- Forwarded message ----------
From: Bill Page
Date: Fri, Mar 21, 2008 at 5:07 PM
Subject: Re: What Axiom can do for Aldor
To: William Sit
William,
With your permission, I would also like to post this entire email to...
(0 comments)
Please join the network!
I hope you will consider becoming part of an active community to support the development of the Aldor programming language.
(0 comments)