search

ngsankha / rbsyn

Program synthesis for Ruby
BSD 3-Clause "New" or "Revised" License
94 stars 4 forks source link

Make effect reachability graph #14

Open ngsankha opened 4 years ago

ngsankha commented 4 years ago

Current setup can satisfy effect requirements that are more than one-level deep. This can be solved with an effect reachability graph. Will be a matter of modifying the type reachability graph mostly.