Show examples + what it changes . Ex e.g: - list A - nu_list (`nu_list (A * A) -> nu_list A` or LC well-scoped or LC + typing - vec
Show examples + what it changes .
Ex e.g:
nu_list (A * A) -> nu_list Aor LC well-scoped or LC + typing