Sergei Shitikov blazecolour

## tasks for LC.js
// type 𝔹 := ∀ α, α → α → α

// T : 𝔹
const T = a => b => a;

// F : 𝔹
const F = a => b => b;

// iff : ∀ α, 𝔹 → α → α → α
const iff = c => a => b => c(a)(b);
	// type 𝔹 := ∀ α, α → α → α

	// T : 𝔹
	const T = a => b => a;

	// F : 𝔹
	const F = a => b => b;

	// iff : ∀ α, 𝔹 → α → α → α
	const iff = c => a => b => c(a)(b);