3 ms·

If you’ve done functional programming and is familiar with mathematical proofs it should be quite intuitive to read the language