2 ms·The videos from PointFree [1] are also excellent. [1]: https://pointfree.co https://pointfree.coby jen20 5y agoThe videos from PointFree [1] are also excellent. [1]: https://pointfree.co https://pointfree.co