Łukasz Lew

We are using Lenses a lot and have long 1, 2, 3-line-long 'lens paths'. Many of them in certain functions. You can imagine that they get very vertical (x3 to...

Would it make sense to create common open-source format for the habit data and use cloud storage in the Android app? This would allow other apps (say web app, iOS...

Thanks and thanks for the guidelines. I became aware of the format after I wrote last comment. Yet, there is no mechanism to export 'on edit' so that other apps...

The algorithm is described here: https://arxiv.org/pdf/cs/0305011 Appendix has a good example of type checking, although the term there does not type check. In general though HVM could handle ALL lambda...

Value of this feature is less about converging the world on a single style and more on encouraging people are strongly affected (e.g. Google Haskellers) to use Ormolu at all.

We should indeed append instead of overwriting. [Another bash reference](https://unix.stackexchange.com/questions/1288/preserve-bash-history-in-multiple-terminal-windows)

+1 [bash solution](https://unix.stackexchange.com/questions/1288/preserve-bash-history-in-multiple-terminal-windows)

Can you explain how ctrl-n/p, and ctrl-j/k are related?

Currently to select second last recent file: - press shift - press O - release O - release shift - press arrow down - press enter In the proposal to...

What is this notation? Is it a lambda term?