[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.
Thanks!
| 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
BOOT.
-- Gaby
- Re: [Axiom-developer] B#, Gabriel Dos Reis, 2006/03/22
- Re: [Axiom-developer] B#, root, 2006/03/22
- Re: [Axiom-developer] B#,
Gabriel Dos Reis <=
- RE: [Axiom-developer] B#, Bill Page, 2006/03/22
- Re: [Axiom-developer] B#, root, 2006/03/22
- RE: [Axiom-developer] B#, Bill Page, 2006/03/22
- RE: [Axiom-developer] B#, C Y, 2006/03/23
- RE: [Axiom-developer] B#, Bill Page, 2006/03/27
- Re: [Axiom-developer] B#, root, 2006/03/23