frege.run

Interface Kind.VIII<𝐓,𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗>