Сухарик

I'll try to guess the semantics from the source example. - So you extend a concatenative language with with application (`func(arg1, arg2)`)? Interesting... - Comma is not an [operation on...

Known experience, a year ago I tried to prove leftpad using prusti, with no success. Creusot seems to be the first actually usable tool for deductive verification in rust.

I'm using git version of baka-mplayer.

Indeed, if I unmaximize the window, gestures drag it. How do I return old behaviour? I can use wm to move my windows and I don't need a special option...

I can't find it. There's only `Use Mouse & Touch Gestures`.

Yes. If I disable it, nothing changes.

If I hold Ctrl, I can actually use mouse gestures. But I want to be able to use them without holding Ctrl.

i3wm.

By the way, there's no type for natural numbers in https://github.com/astampoulis/makam/blob/master/examples/lib/builtins.makam. Does Makam have it?

It may be possible to construct a Prolog style evaluator that allows to write something like `is Index (Length - (Level + 1))`. Though functional syntax sugar like in [Ciao](http://ciao-lang.org/ciao/build/doc/ciao.html/fsyntax_doc.html)...