Curry-Howard correspondence.
It may be theoretically possible, but is it ergonomic and useful? Do you use Lean for your programs?
It may be theoretically possible, but is it ergonomic and useful? Do you use Lean for your programs?