2 ms·
They're named after Kripke for inventing them when he was in highschool. The kind of stuff that makes you feel woefully intellectually inadequate :-).
by the-smug-one 4y ago
They're named after Kripke for inventing them when he was in highschool. The kind of stuff that makes you feel woefully intellectually inadequate :-).