[Top][All Lists]

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

Re: [Axiom-developer] B#

From: root
Subject: Re: [Axiom-developer] B#
Date: Wed, 22 Mar 2006 20:15:12 -0500

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.


reply via email to

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