-- Verify that certain punctuation marks terminate paths correctly
λ(x : ./example) -> x