Jan Stolarek

Results 11 issues of Jan Stolarek

Build instructions for Debian provided in the README.md don't work on Debian 10 (current stable version) and 9 (oldstable version) - see #69 as an example. It would be nice...

I say: ``` coq Goal forall n, n

bug

I use my Emacs in the terminal (no GUI) and often paste some text from the system clipboard into the buffer. (I believe that form Emacs' perspective this is the...

bug
question

I upgraded from Emacs 24.3 to 26 and realized that drag-stuff no longer works. I tried various suggestion in #25 but none of them works.

I have a menu shortcut to Mesen under Games/Emulators. However, whenever I launch Mesen it deletes the shortcut from the Games/Emulators menu and places it under Games menu. I am...

I have a large personal wiki and another smaller one that I share with someone else as a separate repository. It would largely improve my workflow if I could add...

During work on #693 I modified the compiler such that compiling `fun (x) {1}` produced: ``` let it : forall a,b::Row. a -b-> Int = /\a,b::Row. { let fun g1...

bug

DreamPi scripts are written using Python 2. That version of Python is no longer maintained and is being dropped by Linux distributions. In particular, it is no longer possible to...

When playing Tatsunoko vs Capcom the game stutters each time a character performs a special move for the first time. The problem happens despite enabling ubershaders. I tested other shader...

I just compiled latest singletons and compiling `Data.Singletons.Prelude.List` allocated 1.5GB of RAM (and took ~20 minutes on my old machine). Did this use to happen? Based on my experience I...

bug
Match flattening