What's your favorite (as formal as possible) definition of a (computer) program? Please RT.
-
@mrb_bk (\x.e) v -> [v/x]e; e2 -> e2' => e1 e2 -> e1 e2'; e -> e' => e v -> e' v
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
@mrb_bk (\x.e) v -> [v/x]e; e2 -> e2' => e1 e2 -> e1 e2'; e -> e' => e v -> e' v
