Steffan153

/* Custom tlk.io Chatroom CSS - Fix: No Avatar */

@import url('https://fonts.googleapis.com/css?family=Cairo');

#header {
  display: none;
}
#channel {
  text-transform: uppercase;
}

Steffan153

function isPrime(n) {
  if (n === 2) return true;
  for (let i = 2; i <= Math.sqrt(n); i++)
    if (n % i === 0) return false;
  return true;
}

function primeFactorization(n) {
  let d = [];
  for (let i = 2; i < n; i++)

Steffan153

(*
 * A formal proof that @Blind4Basics is getting smarter every day
 * Special thanks to @AwelEshetu for raising this question and
 * @Steffan153 for challenging me into making this compile ;-)
 *)

Definition Blind4Basics (_ _ _ _ _ : unit) := True.

Definition is := tt.
Definition getting := tt.