3 ms·
Two things I noticed: * The first problem is rather trivial problem. That may be the point, but I haven't watched the video to know for sure. * The font used
by jmholla 3y ago
Two things I noticed:
* The first problem is rather trivial problem. That may be the point, but I haven't watched the video to know for sure.
* The font used for source code is making <= display as ≤ on my browser.
- xiaoxiae 3y ago* That is intended, the video is an introduction to LP. * I use Fira Code, which makes certain symbol combinations as ligatures. Looking at it now, this is pretty awful to use on a website and confuses peolpe, I'll disable them.