Dmitrii Kovanikov

I want to mention that using this formatting rule is a nice experience, and I like it so far 🙂

@bangn No need to do this right now :slightly_smiling_face: We already have working Heroku deployment. I've already spent 6 hours on this and don't want to spend 6 more hours...

@vrom911 We can use new GitHub feature for multiline comments to select the whole area. But: 1. This is more complicated because it requires more interval and range overlapping checks....

@vrom911 Thanks for writing this! These are my thoughts as well. I only want to add that we deploy Hintman to `heroku` using the`stack` buildpack: * https://github.com/mfine/heroku-buildpack-stack

Hi @sisyphushappy, thanks for the kind words about my talk! 😊 However, I'm not maintaining this project anymore.

In the real use case, I have two functions: ```haskell foo :: IO (Trial e Config) bar :: IO (Trial e Config) ``` I desperately want to write in a...

@vrom911 Makes sense. I checked your branch, looks nice :+1: And at the same time this indeed looks like too much work just for moving one variable to the environment...

I think, it should be possible to implement a polymorphic function using `Generics`: ```haskell toPartial :: (Generic f) => f 'Final -> f ('Partial e) ``` But this is some...

This Reddit question looks similar to what we may want. But it's too much type sorcery. I'm just leaving a comment for history here, may be worth exploring in the...

I'm now thinking, that probably the following type would be better: ```haskell data SDList a = SDList Size ([a] -> [a]) ``` We keep size as a separate field, and...