This is being added to FE core.

It can't do much for now, so there isn't a lot to say, but some documentation that explains how to use the language, its semantics, and how to compile programs written in it would b...

Staging buffer and vkCmdCopyBufferImg cannot copy image if the dimension is larger than 1024x1024 size. ============================================================ Razix Engine Stats Version : 0.3...

polysemy-zoo (hackage latest and d1564f0) fails to compile on ghc9.2.2 because of errors in IdempotentLowering.hs. The first: src/Polysemy/IdempotentLowering.hs:26:16: error: • Couldn't mat...

Divider, missing vertical relation between Do instruction and Endpoint. Current state: this error was filtering out during the integrity check. See TODO in NITTA.Model.ProcessIntegrity. How to fix ...

Currently, we check relations: [ checkVerticalRelations (up2down pu) (pid2intermediate pu) (pid2endpoint pu) "intermediate not related to endpoint" , checkVerticalRelations (down2...

Встроить в парсер псевдоокружение TeX. Его содержимое должно выдаваться дословно, внутри (по отступам) парсер разбирать ничего не должен

plutarch/Plutarch/Bool.hs Lines 170 to 171 in 5ce1d3d foldl' (#&&) (pcon PTrue) $ hcollapse $ hcliftA2 (Proxy :: Proxy PEq) eqTerm p1 p2 For example, a single product constr...

You can already do ucm version, but ucm --version is a pretty standard thing to be able to do, and I find that I keep typing it. It's also expected by default for certain tools like help2ma...

When navigating to a page whose location in the sidebar is way below, automatically scroll the sidebar to put that link in view. Demo: http://www.seinan-gu.ac.jp/~shito/asciidoctor/html_chunk/chap3...

$ cat /etc/os-release PRETTY_NAME="Raspbian GNU/Linux 10 (buster)" NAME="Raspbian GNU/Linux" VERSION_ID="10" VERSION="10 (buster)&...

Having a distinct type for balanced transactions would increase the type-safety of APIs and sometimes made the code more comprehensible.

Type String definitionally decodes from valid UTF8 strings only. Existing IPLD schemas place invalid arbitrary bytes in IPLD strings. To read/write those, introduce a type ByteString which is seman...

Is your feature request related to a problem? Please describe. Recently noticed how many PHP based projects migrates from Travis-CI to GitHub Actions. I didn't try it yet, but after a quick...

Would also move package from com.daml.scalautil to com.daml.nonempty.

make readme more epic. Add this emoji 😎

Describe your idea, in simple words. Documenting asynchronous APIs such as Ogmios can be a bit tricky. Recently, I found out about AsyncAPI which offers a nice a concise way to (a) specify the API,...

Add a new function to retrieve the list of current listeners (originally added using addListener): getListeners :: MonadIO m => LVar a -> m [ListenerId]

Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation" - Do TODOs in HordeAd.Core.DualNumber (mostly defining more…