User blog comment:Fejfo/Using functions as fundamental sequences for the fgh/@comment-30004975-20180428220202/@comment-30869823-20180430081919

why is checking equality imposible can't you compare fully reduced λ-calculus expressions?