> That is not what No True Scotsman means. Setting aside whether you are or are ...

		contravariant on Nov 20, 2020 \| parent \| context \| favorite \| on: Nbdev: A literate programming environment that dem... > That is not what No True Scotsman means. Setting aside whether you are or are not right, can we just appreciate the irony in that statement for a moment?