Closed schanzer closed 2 years ago
Sorry, I need to ask a clarifying question. Is the goal here just to merge the two commits that @schanzer wrote? (https://github.com/brownplt/pyret-docs/pull/67/commits/ebbceacc57f122653aaad1561020dd5e3f03f70f and https://github.com/brownplt/pyret-docs/pull/67/commits/c343c0d3b1ca26f8a72a2e84fca612d3bb75316b)
I want to make sure that's all this is really for, because there's some master/horizon divergence because an earlier PR was documenting methods that did not exist on master, etc, and this PR is based on master, not horizon.
@jpolitz oh dear, I'm so sorry -- it looks like I created the PR from the wrong branch! Yes, this is just for those two commits. Let me know how you want me to handle this?
If you have the cycles to re-apply those edits atop the current horizon, it would help.
…ir methods