drc0
mh, given Curry–Howard correspondence, aren't those the same? so the goal is indeed not having logical contradictions?
but I can see the different colours here http://www.vischeck.com/images/oranges_small.jpg ?
function combRep(arr, l) {
if (l === void 0) l = arr.length; // Length of the combinations
var data = Array(l), // Used to store state
results = [
]; // Array of results
(function f(pos, start) { // Recursive function
if (pos === l) { // End reached
results.push(data.slice()); // Add a copy of data to results
return;
}
for (var i = start; i < arr.length; ++i) {
data[pos] = arr[i]; // Update data
f(pos + 1, i); // Call f recursively
}
}) (0, 0); // Start at index 0
return results; // Return results
}
var parents = [];
for(b in bases.base) {
if (bases.base[b].parents != undefined) {
for (p of bases.base[b].parents) {
parents[p.sort().join('-')] = b;
}
}
}
function gethints() {
combinations = combRep([1, 2, 3, 4].concat(game.progress), 2);
for (c of combinations) {
let idx = c.sort().join('-');
if (parents[idx] != undefined && game.progress.find((e, i, a) => parents[idx] == e) == undefined) {
console.log(bases.names[c[0]], bases.names[c[1]]);
}
}
}How is that thing even possible? your body would work in an entirely different manner!
[0] https://www.cdc.gov/ncbddd/autism/images/addmnetworkprevalen...
you can easily imagine putting data in a db like server, and querying that data asking things about that model in respect to other things at your disposal in different times.
There are voip operators like the italian mtalk that give you free local national numbers, free calls between users of the same provider, but the call is not encrypted.
This have the good thing that anyone can choose the preferred provider, you can receive calls also from "traditional" phones.
A phone number is like a mailbox, it's clearly provider independent, but sadly it's often non free calling between different operators.