karatinversion

  git update-ref <branch-name> <commit-sha>

  f(n) = { 1 if there is a Turing machine with at most n states that solves the Halting problem;
           0 otherwise }

  g_k(n) = { 1 if n >= k;
             0 if n < k },

  #define FOO 17
  void bar(int x, int y) {
    if (x + y >= FOO) {
      //do stuff
    }
  }
  void baz(int x) {
    bar(x, FOO);
  }

    new StringReader("Example").read()