https://hackage.haskell.org/package/warp-3.3.11/docs/Network-Wai-Handler-Warp.html#v:setAltSvc looks like it's available since 3.3.11 onward, it's a bytestring so should be easy

It would be nice to have a COMMENT token type, so users of the lexer can actually see the comments in streams. This has been requested a few times, for example: ejgallego/coq-serapi#191 ejgallego/c...

https://hackage.haskell.org/package/sdl2-2.5.2.0/docs/SDL-Video.html#v:Fullscreen

https://hackage.haskell.org/package/warp-3.3.11/docs/Network-Wai-Handler-Warp.html#v:setAltSvc looks like it's available since 3.3.11 onward, it's a bytestring so should be easy

В скрипте Форматирование модуля макрос УдалитьКонцевыеПробелы удаляет пробелы во всем тексте модуля независимо от наличия выделения текста. Нужно сделать так, чтобы если текст выделен, то концевые ...

Примеры можно взять из разных репо - например, Ванесса-АДД, ванесса-раннер и других.

tormozit Не работает копирование текста мышкой [2.2.0.3 | 8.3.17.1469 | 17 августа 2020 г. 01:07:13]В редакторе модуля конфигуратора есть штатная фича - выделяешь текст и указателем мышки его можно...

tormozit Не убирающийся признак модифицированности [2.2.0.3 | 8.3.15.1700 | 26 августа 2020 г. 00:46:24]Если в таблице "Список аддинов для загрузки" удалить какую либо строку, то ...

Copy and Paste standard library (CPSTL) is a repository with a collection of data structure and algorithms in many different languages - cpp: Implementing radix sort · Issue #46 · vincenzopalazzo/cpstl

nom::multi isn't ported yet, which we can see in multi.v.

nom::combinator isn't ported yet, which we can see in combinator.v.

After the introduction of #15220, the string that is required to be inside of DECLARE PLUGIN "..." in .mlg files appears to be the public name of the plugin. When one chooses anot...

Description of the problem as discussed in Zulip the documentation of Definition with Eval is unsatisfactory. A user might more look under Eval or eval to find ways to do evaluated definitions than...

In addition to raw accuracy scores in the plots generated by explore, there should be an option to plot balanced accuracy or F1 scores using either macro or weighted averaging. For explore plots on...

At present (Mar 2022) the rank_attributes algorithm produces a single normalized rank value for each attribute in a dataset. It is clear from doing explore sessions that for many datasets, accuracy...

Would a total of the rank values for each number of attributes (averaged, of course, but which average to use?) allow a better prediction of the number of attributes to achieve the best accuracy, a...

/SNU/2D/ProgrammingTools/IDE/V/ Contributor attribution If you are a contributor on this project, you will be credited in this thread. @all-contributors will be helping out here.

Code like have {H}H : ... triggers a cryptic warning. It should suggest to write have {}H : ... instead. See also: https://coq.zulipchat.com/#narrow/stream/237664-math-comp-users/topic/duplicate.20...

A function should be implemented that allows a user to measure the duration of a given function, with triggers fired for the given <identifier>_start and <identifer>_sto...