Viewing profile — DPDmancul

Eliminators are undoubtedly the most difficult aspect of type theory. In this article we will try to make more clear how they work, but most importantly why we need them. This arti…

I'm Italian and I don't like pasta al dente. Obviously neither overcooked, but I like it cooked. In fact it's a drama that since some years they started making pasta which remains …

You can increase the guess accuracy a little by looking for the "tLS" characters , skipping the first 3 chars. Also this is a mnemonic about TLS and identifies all strings starting…

Theoretically only one operation is sufficient: both NAND and NOR are universal gates, meaning all boolean operations are expressible in terms of only NANDs (or equivalently only N…