Any progress? The wiki is still shown in google search results, but
unfortunately its pages are not cashed. I just wanted to know if there is
really no parametric polymorphism in Spad.
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
https:/
ngle -Rdotfull bookvol10.2.pamphlet >dotfull
> notangle -Rdotabb bookvol10.2.pamphlet >dotabb
>
> The notangle function lives in $AXIOM/bin/lib so you
> need to add this to the path. So try:
>
> export AXIOM=`pwd`/mnt/ubuntu
> export PATH=$AXIOM/bin/lib:$AXIOM
08.08.2011, 00:25, d...@axiom-developer.org:
> The pamphlet file was hand generated. Pamphlet files are the source
> code of the system.All of the pamphlet files are source code and are
> hand generated in latex.
>
> The system is moving to using pure latex rather than using noweb for the
> pamph
Hello! How was axiom's bookvol10.2.pamphlet file generated?
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom-developer
I think I don't understand some aspects of Axiom.
Imagine I want to have a function that returns the derivative of real-valued
function of one real variable, something like
Deriv : ((Float) -> Float) -> ((Float) -> Float)
I want Deriv to handle symbolic computation, not (Deriv f) to be some nu
Hello, I wonder what text editors are capable of syntax highlighting for axiom
input files.
I'm sure, even if there are no such default feature somebody here has written
it for his own usage.
Ideally, I would like to find .lang file for gtkSourceView to use in gedit.
__
