bdrum·3 jaar geleden·discussLooks very cool, but what I've wondered - there is any other tool like Isabelle? upd. https://en.wikipedia.org/wiki/Proof_assistant
bdrum·4 jaar geleden·discussDo you know why so many tiny text editors are exists? Thats because of gang of four book that based on text editor example...
bdrum·4 jaar geleden·discussI've added a comment to the issue How to plot a data frame https://github.com/Onelinerhub/onelinerhub/issues/1378#issue...Actually concerning visualization tasks I don't see a sense in one line solution because as I think you should understand how you want to represent your data and this has strong influence to calling signatures.
bdrum·5 jaar geleden·discussI've thought, why so many hand made editors are exist... Then I realized that because of book of gang of four...