Ziteng Wang

> is there some way to specify the example in CLI mode? The demo version is in [`oopsla20_revision`](https://github.com/TyGuS/hoogle_plus/tree/oopsla20_revision). As shown in the README file, you can try the following command:...

It seems like the README.md file is inaccurate about this option. :) Try to replace `-p` with ` --pkg-name`. ``` # stack exec -- hplus generate --help hoogleplus v0.1, 2019-03-10...

> opening from Zotero's database iirc you can set sioyek as Zotero's external pdf reader. Another point to add- relevant to #160: it'd be great if sioyek could save some...

I am experience the same issue with 3060 Ti on wayland with the open driver. Switching to the proprietary mostly solved the issue (~60% time I'm not noticing FPS drops?)....