thHube/Lambda-Ineterpreter — Issue #1: Lambda-rewiter fail
Author: thHube
Created: 2011-12-01 15:28:31+00:00
State: open

(a, ([x, x], (a, y))) fails to be normalized, is should go to a(a(y))