Verity Scheel
Verity Scheel
It would be nice to have a nice CLI like dhall-haskell! See https://github.com/MonoidMusician/dhall-purescript/blob/main/src/Dhall/CLI/Main.purs
Users will probably want to be able to export (and possibly import) JSON from Dhall expressions, so we should probably add some of the functionality of `dhall-json` to this library...
Just a place to record my unorganized todo list: - [x] (Recursive) zippers for Expr - [x] Directed zippers: first/last, next/prev (or just use traversable for that? seems inefficient ...)...
Performance is ... not great. A list of performance improvements that I know need to be made: - [x] Exploit sharing during normalization. Allow more sharing during typechecking, by allowing...
I have started converting most of the algorithms from [Core.hs](https://github.com/dhall-lang/dhall-haskell/blob/master/src/Dhall/Core.hs), but they need to be finished and verified. - [x] ~`shift` and `subst` are important to get tested to ensure...
A way to inspect, interact with, edit, and dialogue with the compiler on Dhall expressions, in the browser or another context. The first step is displaying the AST in some...
Fixes #4194. First try at a new algorithm to compute covering sets. Basically we compute the closure step-by-step and see which (inclusion-minimal) subsets actually close to the whole set of...
## Description The compiler reports overlapping instances even though the two instances should not be overlapping with the given fundeps. ## To Reproduce ```purescript module Test.Test.Test where data Identity a...
Continuing from #4337. Just fixed merge conflicts so far. **Checklist:** - [ ] Added a file to CHANGELOG.d for this PR (see CHANGELOG.d/README.md) - [ ] Linked any existing issues...
`node-gyp` was failing to build `cpu-features` on x86 Darwin (due to some issue with `clang`, see below), which is an optional npm-wrapped native dependency of `ssh2`, but it is only...