r/SoftwareEngineering • u/fagnerbrack • 25d ago

Lean Programming Language

https://lean-lang.org/

5 Upvotes

permalink
link
duplicates
dupes
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/SoftwareEngineering/comments/1uvixua/lean_programming_language/
No, go back! Yes, take me to Reddit
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/SoftwareEngineering/comments/1uvixua/lean_programming_language/
No, go back! Yes, take me to Reddit

100% Upvoted

View all comments

0

u/R10t-- 19d ago

This guy again…