Özgür Akgün

Currently I cannot see why I would want to be able to change the value of default warp if terminal-size were to be integrated. But if it is easy enough,...

`teminal-size` integration alone will make me happy. About the help-text, here is what I mean. (I probably should have created a separate issue for this, sorry.) ``` {-# LANGUAGE DeriveDataTypeable...

Any updates on using terminal-size for this?

@ott2 says (over email). I copy it here Andras, to keep the discussion in one place (and visible to @StephanGocht) The suggested fix is reasonable, but there needs to be...

To add, I wonder if it is at all sensible to have separation between two containers of the same class? If so, would it make sense to change the type...

Testing is done. Azure runs the long-running tests on linux and max now. We keep travis for testing different optimisation levels on the quick tests. Automating releases is the next...

I agree a new release is needed - coming soon! And I also agree that we need the latest binaries available for download easily. I’ll look into this asap. Thanks!...

Dear @dstrueber - apologies for our very slow response! Essence doesn't support floating-point numbers. There isn't really a deep reason for this other than nobody bothering to add support for...

Hi @dstrueber - I am looking at this now. Basically doing what Saad said (but maybe a bit more aggressively). I must say this is really not ideal, but coming...

Actually I didn't have to be more aggressive at all. @SaadAttieh's solution seems to work. I get the following, which seems quite reasonable. ``` ~/tmp> time conjure solve 451.essence Generating...