rzrn

type expr =
  | EVar of string
  | EApp of expr * expr
  | EPi of string * expr * expr
  | ESig of string * expr * expr
  | ELam of string * expr * expr
  | EPair of expr * expr
  | EFst of expr
  | ESnd of expr
  | ESet of int

rzrn

from random import choice
from sys import argv

alphabet = {
    'А': list("丹升什闩"), 'Б': list("石右五"),
    'В': list("归乃巧日扫丑"), 'Г': list("厂广"),
    'Д': list("亼 囗"), 'Е': list("巨乞仨巳它正臣亖"),
    'Ё': ["庄"], 'Ж': list("水卌兴川氽米"), 'З': list("乡弓了"),
    'И': ["仈"], 'Й': list("订计认"), 'К': list("片长"), 'Л': list("几人穴入"),
    'М': list("从册爪"), 'Н': list("廾卄"), 'О': ["口"],