Andy Lok

Elba retrieves deps from registry on every compilation. I think this is not intended.

If I have a package `foo|0.1.0-alpha2` and a package `bar` depending on it, how to prevent `bar` from mistakenly depending on `foo|0.1.0-alpha1`? The version constraint I'm using is `

`minitrace::Span`, `minitrace::local` and `minitrace_datadog` lacks documentation so far. Although the API should be intuitive enough, I hope, having a fruitful document will be better.

Add support for TLAPS (TLA Proof System)

12

Is it possible to have `vscode-tlaplus` run tlapm to check the proofs and even to decompose the proofs?

Add document for configuration of TLC worker and heap size

3

I found it quite unclear how to run TLC on multicore. Here is the solution I figured out and I put it here for others that might need: Set -...

Add ttl for raw client

1

Signed-off-by: andylokandy - [x] Implementation - [x] Manual test - [ ] Add docs

feat(function-v2): support constructing array and CAST(... AS VARIANT)

1

I hereby agree to the terms of the CLA available at: https://databend.rs/dev/policies/cla/ ## Summary - add variadic function `array(T0, T0, T0, ...) :: Array(T0)` - support CAST( AS VARIANT) ##...

[ fix ] allow grouping pi with different types in type declaration

5

## Observed behavior ```idris expli : (a : String, b : Nat) -> String ^ Expected a type declaration. ``` ## Expected behavior type checkes

RFC: tokio-tracing compatible layer

6

By adding a tokio-tracing compatible layer to minitrace, we can provide a low-overhead tracing solution for tokio applications, combining the performance benefits of minitrace with the convenience and familiarity of...