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