Dmitrii Kovanikov

The `pandoc` preprocessing of headers is already implemented, so shouldn't be a problem.

- [ ] [Analyze type-level structures lazily](https://stackoverflow.com/a/56863583/2900502) - [ ] [Error on deriving typeclass](https://github.com/chshersh/chshersh.github.io/commit/8142a96845aa8a95c0858b9baf840fdff6d3296e#commitcomment-34188194) - [ ] Plain types but better errors

- [ ] Upload a new CV - [ ] Mention GSoC 2019 mentorship

On main page. The description is already in `.md` files.

Handle arithmetic sequences

3

Another popular use case where using ordinary lists is easier than `NonEmpty` if arithmetic sequences like `[1 .. 10]`. Adding support for them would be much appreciated! I anticipate quite...

Use 'th-abstraction' package for 'makeCap'

1

I noticed that `makeCap` contains some complex TemplateHaskell logic. It seems better to me to use `th-abstraction` package for that case to automatically maintain `makeCap` on multiple versions of GHC.

Current GUI demo is not presentable... It's better to update and refactor it.