Nathan Bloomfield
Nathan Bloomfield
[Functional programming with bananas, lenses, envelopes and barbed wire](https://maartenfokkinga.github.io/utwente/mmf91m.pdf) - this paper has some really nice ideas about higher order functions that translate well to proofs [forall x: Calgary Remix](http://forallx.openlogicproject.org/)...
The following webdriver endpoints are not exposed: - [x] POST /session/{session id}/window/new New Window (#30) - [ ] GET /session/{session id}/element/{element id}/shadow Get Element Shadow Root (#37) - [ ]...
It looks like this endpoint is not implemented in either geckodriver or chromedriver yet (as of March 2021). That makes testing this properly impossible, so I'll hold of on merging...