Comment Comment by esafak It may be theoretically possible, but is it ergonomic and useful? Do you use Lean for your programs? parent esafak 4 months ago
