thHube/Lambda-Ineterpreter — Issue #3: Omega is normalized 
Author: thHube
Created: 2011-12-05 15:53:53+00:00
State: open

We should not normalize omega.

([x, (x, x)], [x, (x, x)])

becomes x(lambda x.x(x))