Untyped lambda calculus in Python

In this series of posts I will port this post about dependent typed lambda calculus to Python. This is the first type : Untyped lambda calculus (with tests). This code uses functions implemented/explained in the Functional programming in Python post so you man want to reference it. Untyped lambda calculus in Python import re from typing import * from fphack import pipefy , pipefy_builtins , ExceptionMonad , adt , map , reduce , filter # Hacky setup pipefy_builtins ( name ) Term , App , Var , Lamb = adt