TeLLer is an interactive linear logic prover and proof explorer that is currently being used to study causality in interactive story telling.