Quinn
### Description This RFC proposes the [skew-normal distribution](https://en.wikipedia.org/wiki/Skew_normal_distribution) ### Related Issues I didn't see any. ### Questions No. ### Other No. ### Checklist - [X] I have read and understood...
We use `bisect_ppx` for coverage reports on our [monorepo](https://github.com/quantified-uncertainty/squiggle). Observe [this](https://github.com/quantified-uncertainty/squiggle/runs/7732440074?check_suite_focus=true) job in CI (running on ubuntu) for a real-world scenario. For a minimal reproducer, you can clone `git clone...
the `README.md` links to this: http://www.robusta.io/masala-parser/ts/modules/_masala_parser_d_.html it is presently 404. Instructions for how to generate the site pages would be nice, if you can't re-host it.
Tutorial can be run with ```bash docker-compose up ```
### TL;DR I would like for the generated `CONTRIBUTING.md` and `.release-please-manifest.json` formatting to be `prettier`-compliant. ### Detailed design ```markdown Could be a wrapper around the core logic that's already in...
[Example](https://forum.rescript-lang.org/t/how-can-i-achieve-smart-constructor-pattern-from-f-in-rescript/2590/4)
# Package Request [alectryon](https://pypi.org/project/alectryon/) from readme: ``` Setup ===== To install from OPAM and PyPI: | ``opam install "coq-serapi>=8.10.0+0.7.0"`` (from the `Coq OPAM archive `__) | ``python3 -m pip install...
# Package Request https://github.com/ejgallego/pycoq
According to [this](https://python.on-nix.com/projects/pip/), it's available on no versions. Sure enough, when I try to put it in a `.nix` file I get a bug. It looks like the test says...
In regards to https://github.com/on-nix/python/issues/11, it looks like the current best way to get a `jupyter notebook` through `python.on-nix` is to use `jupyterhub`. When I try to run `jupyterhub`, it breaks...