Pages that link to Machine Translation using Type Theory and Functional Programming