scarf

```kt fun BinaryTree.toGraphviz(): Graphviz = graph(directed = true) { node[ Color.DARKSLATEGRAY, "fillcolor" eq "azure2", Font.name("Ubuntu Mono"), Font.size(20), Style.FILLED, ] } .addNode(this) .toGraphviz() ``` In this code, outline color can be...

fix: skip `proc.cwd()` when `cwd` is given

6

### Initial checklist * [x] I read the support docs * [x] I read the contributing guide * [x] I agree to follow the code of conduct * [x] I...

filter does not work with type guards

1

# Summary python [3.10](https://docs.python.org/3/whatsnew/3.10.html) introduced [type guards](https://peps.python.org/pep-0647/) similar to that of [typescript](https://www.typescriptlang.org/docs/handbook/2/narrowing.html). however, flupy does not seem to support this feature.  ```py from typing import Any, TypedDict, TypeGuard from...

## Summary   - fix #517 ## Description Added two new config, `DateFormat` and `DateTimeFormat` to make `FormatDateTimeHuman` and `FormatDateHuman` customizable.

Configuration file for REPL

1

- [x] I have read [CONTRIBUTING.md](https://github.com/idris-lang/Idris2/blob/main/CONTRIBUTING.md). - [x] I have checked that there is no existing PR/issue about my proposal. ## Summary Provide configuration file format `idris2.conf` like [`.ghci`], which...

- [x] I have read [CONTRIBUTING.md](https://github.com/idris-lang/Idris2/blob/main/CONTRIBUTING.md). - [x] I have checked that there is no existing PR/issue about my proposal. ## Summary | Before | After | |-----------|----------| | ![before]...

Cannot incrementally build

2

# Summary `Exception: variable LibrariesC-45TextC-45Lexer-any is not bound` ## Reproduction 1. build idris2 from source, with `opts = "--inc chez"` in `idris2.ipkg`. 2. make install once more. 3. build fails:...

Add source link for individual declaration on documentation

4

- [x] I have read [CONTRIBUTING.md](https://github.com/idris-lang/Idris2/blob/main/CONTRIBUTING.md). - [x] I have checked that there is no existing PR/issue about my proposal. ## Summary  Add source link for each declaration like...

question: how do i split a tilesheet into multiple grid and merge them together?

5

I need to work with a tilesheet, composed of 10x10 tiles. for example, a 160x2560 image would contain 16x256=4096 tiles. after that, I need to merge those 4096 10x10 images...

type hints?

5

having a type hint would help a lot for developing. afaik pyvips supports both 2 and 3, so it could use additional [`.pyi` stub file](https://mypy.readthedocs.io/en/stable/stubs.html).