Getting closer to the event (less than 1 week now!) so figured I would ask this question
Ive been mostly just doing some problems from other years to get used to solving things in rust
Getting closer to the event (less than 1 week now!) so figured I would ask this question
Ive been mostly just doing some problems from other years to get used to solving things in rust
I already don’t like it. I know it wasn’t a sales pich for the lang, but I’m not sold.
That’s the copyright of the book though, not of Lean itself. Lean itself was started at Microsoft too, but is its own open source research project now, with contributions from multiple companies and universities: https://lean-lang.org/about/
But, yeah. Lean can’t deny that it was influenced by Microsoft’s F#.