search

webyrd / Barliman

Prototype smart text editor
MIT License
1.04k stars 30 forks source link

Mutual recursion #16

Closed gregr closed 7 years ago

gregr commented 7 years ago

This change allows us to define mutually recursive functions via begin or letrec. There is a tiny performance regression on our benchmarks, but it's probably not a big deal.

Try it out!

gregr commented 7 years ago

Here's an example with mutually recursive even? and odd? synthesis: even-odd