Denis Buzdalov

Different instances of `pack` can change files inside `$PACK_DIR`. Sometimes, especially when there is a need of updating `$PACK_DIR/.cache`, they are trying to do same things on the same files....

See discussion in #270. We should treat single strings of extra configs as being able to pass several arguments, while disallowing unsafe things like leaving unescaped `&` and similar things....

[ ux ] Pack's caching happens in undesired moments

3

I don't know if this has a good solution, but anyway this is a user experience report. Since recent changes `pack` caches almost on every operation and usually it prints...

[ total ] Make getters TCInline & add a test for getters producing a smaller value

1

When I run into this behaviour in the current Idris I thought the reason is lack of `%tcinline` for the getter functions. I added it there and it still is...

Use external libraries for the appropriate stuff

2

- [x] `random-pure` for random values generation - [x] use library's `StdGen` as `Seed` - [x] decide should be, or not, the special racket-case treated specially afterwards - [x] `Pretty`...

Feature request: add support for `<..>`-arguments of environments

5

For example, to support generation of ```latex \begin{uncoverenv} ... \end{uncoverenv} ```

## Compiler version 3.3.3 LTS and 3.4.1 Next ## Minimized code ```scala if true then if true then println("yes") ``` https://scastie.scala-lang.org/IXEFxU30RE6xh97CK83roA ## Output ```scala Recursive value $t needs type ```...

A supposed simple solution of an issue #28.

The suggest is to be able to think of links to identifiable classes as many-to-one links. This saves a lot of annotations in case I don't want to use default...