emeinhardt

Yeah, out of curiosity, why is local file saving not supported on other chromium browsers besides Chrome itself?

> > We will try to populate cache.iog.io. zw3rk CI and cache are run by me. There is only so much I'm willing to pay out of pocket for this....

```haskell solverPathOptions :: MonadIO m => FilePath -> [String] -> Solver SAT m ``` One downside is that this requires the user to understand how command line arguments are expected...

Nickel seems to overlap with Dhall in a lot of ways, and there are potential use cases that Dhall *almost* is a good fit for, but which are out of...