http://www.plasm.net/download/old/

DEF MYF=(COS ~ ACOS);
MYF:0.5;
(COS ~ ACOS):-1;
~:<COS,ACOS>;



DEF MYF=(COS ~ ACOS ~ SIN ~ ASIN);
~:<COS , ACOS , SIN ,ASIN>;

def myf=ID:SIN;
myf:1;


[+,-,*,/,**,ID,K:5]:<3,2>;


CONS:<+,-,*,/,ID,K:5>:<3,2>;

DEF MYF=AA:SIN;
def Val=< 0, PI/6, PI/3, PI/2 >;
MYF:Val;

IF:< IsIntPos, K:True, K:False >:1000;
IF:< IsIntPos, K:True, K:False >:-1000;

DEF MYDIV=IF:< EQ~[K:0,S2], k:'errore orrore', />;
[k:0,S2]:<1,3>;
[k:0,S2]:<6,3>;
[k:0,S2]:<7,9>;
EQ:<1,0>;
EQ:<9,9>;
MYDIV:< 3,2>;
MYDIV:< 3,0>;

/:<3,0>;

DEF MAGGIOREDIZERO=GT:0;
MAGGIOREDIZERO:3;
MAGGIOREDIZERO:0;
MAGGIOREDIZERO:-4;

DEF bigger (a,b::IsNum) = IF:< GT:a, K:b, K:a >:b;
bigger:<-10, 0>;
bigger:<10, 0>;
bigger:<0, 0>;
bigger:<10,40>;

DEF mybiggest = INSL:bigger;
biggest:<-10, 0, -100, 4, 22, -3, 88, 11 >;

INSL:ID:<1,2,3,4,5,6>;
INSR:ID:<1,2,3,4,5,6>;

1..40;
..:<1,40>;
FROMTO:<1,40>;

ID:<1,2,4>;
DEF MYF=C:ID;
MYF:1:1;

(C:DISTL:1):(1..10);

DEF MYF=(AA:/ ~ C:DISTL:1);
MYF:(1..10);
MYF:<2,8,69,4,100000,FACT:100>;

1..10;
DISTL:<1,1..10>;
C:DISTL:1:(1..10);
(AA:/):(DISTL:<1,1..10>);
DEF MYF=AA:/ ~ DISTL~[K:1,ID];
MYF:(1..10);


*:<>;

DEF fatt = * ~ intsto;
fatt:6;
DEF fatt = * ~ .. ~ [K:1,ID];
DEF fatt = * ~ C:..:1;

DEF fatt = if:< c:eq:0, k:1,* ~ intsto >; 
fatt:10000;

(1..10);
aa:fact:(1..10);
aa:(c:/:1 ~ fact):(1..10);
(+ ~ aa:(c:/:1 ~ fact)):(0..20);

DEF euler = (+ ~ aa:(c:/:1 ~ fact)):(0..20);
euler;

DEF euler = (+ ~ aa:(c:/:1.0 ~ fact)):(0..20);
euler;

DEF euler(n::IsInt) = (+ ~ aa:(c:/:1 ~ fact)):(0..n);
euler:500;
DEF euler(n::IsInt) = (+ ~ aa:(c:/:1.0 ~ fact)):(0..n);
euler:500;
AA:euler:(1..20);

(0..20);
aa:fact:(0..20);
def myx=3;
**:<myx,4>;
def myf=C:**:myx;
myf:4;
aa:myf:(0..20);

(SIN * COS):(PI/6);

def a=fact:2;
def b=(C:**:myx):2;
b/a;

(C:**:myx / fact):2;
(aa:(C:**:myx / fact)):(0..20);

DEF euler(x::IsNum) = (+ ~ aa:(C:**:x / fact)):(0..20);
euler:1;
euler:3;