search

joneshf / iso

BSD 3-Clause "New" or "Revised" License
3 stars 0 forks source link

Ensure alpha and beta reduction are working correctly #2

Open joneshf opened 9 years ago

joneshf commented 9 years ago

These two functions seem to implemented poorly. TaPL should help here.

joneshf commented 9 years ago

Umm, so beta equivalence is undecidable for one...