🟢🟡🔴 Jello 🔴🟡🟢

Description

A Python script for wrapping the Jellyfish (a fork of Jelly) executable so you can more easily play with the language.

Q: What makes my chain monadic?
A: If you only pass it one argument (aka ω)

	Chain pattern	New `v` value	Chain Type	Name	IC	SC
1	`+ F ...`	`v+F(ω)`	`2-1`	`dyad-monad`	S	Φ
2	`+ 1 ...`	`v+1`	`2-0`	`dyad–nilad`	d	Δ
3	`1 + ...`	`1+v`	`0-2`	`nilad-dyad`	d	D
4	`+ ...`	`v+ω`	`2`	`dyad`	W	Σ
5	`F ...`	`F(v)`	`1`	`monad`	m	B

Q: What makes my chain dyadic?
A: If you pass it two arguments (aka λ and ρ)

	Chain pattern	New `v` value	Chain Type	Name	IC	SC
1	`+ × 1 ...`	`(v+ρ)×1`*	`2-2-0`	`dyad-dyad-nilad`
2	`+ × ...`	`v+(λ×ρ)`	`2-2`	`dyad-dyad`	Φ₁	Φ₁
3	`+ 1 ...`	`v+1`	`2-0`	`dyad-nilad`	Kd	ε
4	`1 + ...`	`1+v`	`0-2`	`nilad-dyad`	πd	E
5	`+ ...`	`v+ρ`	`2`	`dyad`	d	ε'
6	`F ...`	`F(v)`	`1`	`monad`	Km	B₁

+H can be called monadically or dyadically, and is a 2-1 chain.

If called monadically, its a 2-1 monadic train, aka the S combinator.
If called dyadically, it is a JL+5+6, which ends up being the B₁ combinator.

+²× can be called monadically or dyadically, and it is a 2-1-2 chain.

If called monadically, S forms a monadic function, that is then used in Σ
If called dyadically, the 2-1 is the B₁ combinator, and then used in a Φ₁ where the left dyadic function is ⊢.

+×÷H can be called monadically and dyadically, and it is a 2-2-2-1 chain.

If called monadically, apply W is applied, then evalaate the 2-2 part as repeated (or 2) S combinators, and then the 2-1 chain at the end matches the S combinator.
If called dyadically, we have a LDC, which means the 2-2-2 forms the Φ₁ which yield a binary function that is then used in the sits inside a B₁ along with the final monadic operation.