stebulus

git init .
git remote add origin https://github.com/foo/bar
git config core.sparseCheckout true
echo sub/dir >> .git/info/sparse-checkout
git pull --depth 1 origin master  # assuming you don't want history either

stebulus

The question was whether every σ-algebra which separates points
contains the singletons.  Let's consider (σ-)algebras of clopen
sets of a topological space.  (In fact, by Stone's theorem, there
is no loss of generality in doing so.)  The desired conditions for a
counterexample then correspond to topological conditions on the space:

clopen sets separate points   ::  space is totally disconnected
singletons are not clopen     ::  no points are isolated
clopen sets form a σ-algebra  ::  G_δ sets are open

stebulus

{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies,
    FlexibleInstances, FlexibleContexts #-}
import Control.Applicative
import Control.Applicative.Lift
import Data.Functor.Compose
import Data.Functor.Constant
import Data.Maybe
import Data.Monoid

-- expr is an expression with named holes;

stebulus

import java.io.Reader;
import com.fasterxml.aalto.in.XmlScanner;
import com.fasterxml.aalto.in.ReaderConfig;

public class BufErr {

public static void main(String[] args) {
    try {
        Reader rdr = new StringArrayReader(new String[] {
            "<foo><bar>text<",