This is an issue in the markdown writer:

% pandoc -f native -s -t markdown
Pandoc (Meta {unMeta = fromList [("foo",MetaBool False)]})
[]
---
---

Is your feature request related to a problem? Please describe.
No.

Describe the solution you'd like
I'd like the source code to be automatically clang-formatted according to my settings anytime the code is compiled. That is, don't require me to use the contextual menu or keyboard shortcut to format the code. Just auto-format it; just like the code is auto-compiled too.

Well, ther

Minor cleanup of nomenclature. In Type.hs we have:

vectorRef :: Reference
vectorRef = Reference.Builtin "Sequence"

vector :: Ord v => a -> Type v a
vector a = ref a vectorRef

We have to keep the Builtin "Sequence" as is, since otherwise that changes the identity of the type, but the names of vectorRef and vector should be changed to use the list nomenclature:

There are a number of functions that create https servers for integration tests:

• https://github.com/wireapp/wire-server/blob/b266f9aae3ee8bf31ac83413b7e7f37feb8aa488/services/brig/test/integration/API/Provider.hs#L1519-L1531
• https://github.com/wireapp/wire-server/blob/b266f9aae3ee8bf31ac83413b7e7f37feb8aa488/services/galley/test/integration/API/Teams/LegalHold.hs#L805-L825
• ...? (`git g

File uploads automagically appear in /static/uploads/action/id. Using the local filesystem is a bit dated, we should offer configurable cloud storage options where people could choose provider (e.g. Azure or AWS) and enter their own access key to their own blob storage account.

(also, uploads currently keep the original file as picture.upload wasting space. Keeping this file should at least be

I'm sorry if I missed this functionality, but CLI version hasn't it for sure (I saw the related code only in generate_code_examples.py). I guess it will be very useful to eliminate copy-paste phase, especially for large models.

Of course, piping is a solution, but not for development in Jupyter Notebook, for example.

Balance sheet column headings should be the column's end date:

Balance Sheet 2020-07-03

                                      ||                                   2020-07-03
======================================++==============================================

But in the HTML output, it seems to be a date range instead:

Is your feature request related to a problem? Please describe.
This is the tracking issue for the Asterius Hackage Overlay.

Describe the solution you'd like
We should implement and host a Hackage overlay, similar to head.hackage and mobile haskell overlay. The reason is:

• We already patch so

fadeTime is missing tidalcycles/Tidal#618

While we're about it, lets check to see if others are missing

Describe the bug
Choosing the "library" option in the interactive init script still produces a exe directory

To Reproduce
Follow the init steps for a new library. Example:

λ П(a: A) haskell → mkdir foo
λ П(a: A) haskell → cd foo
λ П(a: A) foo → cabal init
Should I generate a simple project with sensible defaults? [default: y] n
What does the package build:
   1) Execu