4 ms·Lean doesn't have expressiveness notation. It's like Perl line noise.by lupire 2y agoLean doesn't have expressiveness notation. It's like Perl line noise.