<>
Thought about this more, these diagrams are harder is probably because classical logic is harder to picture. But the chapter on classical logic is just a detour, so I think...
Added a CC license
I rewrote the example about the queens of England and decided to remove the second example. The example with the king/queen is good because the king/queen is one by definition...
Грешка в смисъл на "mistake", не "error". За random, думата има различно значение в контекста на компютърни науки, струва ми се че ти по-скоро искаш да преведеш термина, отколкото генералното...
It wasn't there, I ran normal "cabal install" and it fixed the issue... However, now I got some errors on staring: ``` 4 | $(loadEnv SearchPath) | ^^^^^^^^^^^^^^^^^^^^ /home/bobby/.shh/Shell.hs:4:2: error:...