[Top][All Lists]

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

Re: [Axiom-developer] B#

From: Gabriel Dos Reis
Subject: Re: [Axiom-developer] B#
Date: 23 Mar 2006 02:41:03 +0100

root <address@hidden> writes:

| mnt/linux/doc/src/boot.Makefile.dvi contains the only existing documentation
| of BOOT.


| BOOT is unrelated to B-natural.
| BOOT is a syntactic sugar cover for common lisp.
| B-natural is a typeless cover for Axiom's types.

I went through the previous discussion (including BOOT, B#, Aldor,
Axiom) and  I decided to try your idea of implementing B# using

-- Gaby

reply via email to

[Prev in Thread] Current Thread [Next in Thread]