|
|
|
|
|
|
by xvilka
1828 days ago
|
|
|
By the way, just for the record, I like many aspects of the new Lean 4 design and wish the project luck. They really aim for better maintainability and user experience. It is nice to see them taking best solutions from other programming languages and frameworks. |
|
|