Сухарик

Nice! Another way to deal with the problem (when you don't have a fancy 2D instrument) is to map 12 tone subsets of 31edo and switch them while playing (like...

Would be cool, but right now nothing tracks that assertions are actually proved: you need to manually run `cargo creusot` and then manually invoke solvers in why3 ide. So before...

There's actually two issues: - Showing buffer content as ISO8859-1 text (showing one character per byte?) - Misinterpreting unicode input as ASCII characters. For example, `йцукенгшщзхъфывапролджэ\ячсмитьбю.` is interpreted as `9FC:5=3HI7EJDK20?@>;46M\OGA

https://en.wikipedia.org/wiki/Erd%C5%91s_number So, the root have n = 0. Direct dependencies of the root have n = 1. Dependencies of these dependencies have n = 2 if they're not direct dependencies...

> my addon is not very cleverly named, as I do not plan to create a Panorama-View for changing tabs That's unfortunate, I find panorama view very useful for *grouping*...

@kesselborn To see the whole tab group at once, visually (as pictures), and be able to drag&drop these pictures to other tab groups. > Just curious if drag/drop support in...

Oh, cool. Are lists also Scott encoded? Also, does it works for pretty-printing too?

I guess the PR can be closed since this repo is not maintained too. @jeremyletang, can you redirect people to [jhasse/ears](https://github.com/jhasse/ears) in README.md?

Hm, I can't find the sources. Anyway, I've found this instead: https://github.com/pierreguillot/Camomile

It is fun to explore. Check out [31-TET online keyboard](http://tinyurl.com/zwf4jm5) (Space to sustain, try [C-E-G-A#](https://www.youtube.com/watch?v=_4WQhyEMaAI) or C-Eb-G-Bbb or [C-G-C-E-G-A#-C-D-E-Gbb-G](https://www.youtube.com/watch?v=8KgtQHbQnDk)). There's not many FOSS synths with microtonality support (I can name...