Using Lazy, Pure Programming for Navigating Remote Environments ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2010