A virtual machine for functional languages made using PyPy.