Sam Nolan
Sam Nolan
This is a very early stage issue / suggestion. Feel free to ignore it for now, I'll come back to it with better details once I've verified the way we...
It would be great if a distribution of rationale could include the built js files within it. The reason this would be useful is for publishing JS packages that depend...
### Description This RFC proposes to add a [metalog](https://en.wikipedia.org/wiki/Metalog_distribution) distribution, based on the implementation provided by [rmetalog](https://github.com/isaacfab/rmetalog/). This implementation will include functions for: - `quantile` - `pdf` - `cdf` -...
This should mean that bundlers will pick up automatically that you want to ignore "fs" and "child_process". See here: https://github.com/defunctzombie/package-browser-field-spec#ignore-a-module
This library has been missing from stackage since LTS 13. There's a couple of things we'll need to do to add it back to stackage: - [ ] Get our...
One of the next stages is to add overloaded functions, like multiplying both lists and numbers using `*`. This might get pretty complicated and theoretical, and will likely follow after...
As per our [Roadmap](https://hazelfire.github.io/pedant/#/roadmap), Stage 2 is all about uncertainty. As of such, I would like to attempt to compile Pedant to Squiggle, and improve Squiggle so that it can...
One of the most obvious issues with this language is that it has a confusing function application. I was thinking the appropriate path to making this work would be to...
Currently, there is a lot to be desired for in terms of documentation, there are a couple of issues that are currently missing: - [ ] No discussion of the...
I'm planning at some point to rewrite the core in Coq. This way I can verify the correctness of the type checker, and explain the underlying theory of flavour of...