racket / redex

Other
93 stars 36 forks source link

eta and beta aren't nicely compatible with n-ary functions #258

Open rfindler opened 1 year ago

rfindler commented 1 year ago

... and the existing code in long-tut was wrong, as found by random testing.

After some discussion with @mfelleisen the best approach seems to be to just get rid of n-ary lambda expressions, so this pull request is a work-in-progress to do that.