// applicative combinator interpreter/compiler

I:{[x]x}
K:{[c;x]c}
S:{[f;g;x]f[x][g[x]]}
B:{[f;g;x]f[g[x]]}
C:{[f;g;x]f[x][g]}
D:{[c;f;g;x]c[f[x]][g[x]]}
E:{[c;f;g;x]c[f[x]][g]}
F:{[c;f;g;x]c[f[g[x]]]}
Y:{[x]x[Y[x]]}
W:{[f;x]f[x][x]}
T:{[x;f]f[x]}

o:("IKSBCDEFYWT0123456789+-";(I;K;S;B;C;D;E;F;Y;W;T;0;1;2;3;4;5;6;7;8;9;1+;-1+;))
s:{x[1][y;z];:[~#z;(y;z);_n _in(-1#y),1#z;(y,1#z;1_ z);(-2_ y;x[0][*|y;*z],1_ z)]}
p:(,()),,o[1]o[0]?/:
q:(,()),,(o[0],_n)o[0]?/:
a:{x[y]}
b:{,x,"[",y,"]"}
t:{`0:,1_,/":",'30 -30$'{,/(@[x;&x~'_n;:;"`"]),""}'(x;y)}
i:**(s[(a;:)].)/p@
c:**(s[(b;t)].)/q@

/ SBI(SBI)+0 -> (((SB)I)((SB)I)+)0

c"```SBI``SBI+0"
i"```SBI``SBI+0"