Andreas Ländle

Debugging/sourcemaps in VSCode

3

Any idea how to make debugging/sourcemaps work to debug this example in VSCode? (https://github.com/purescript/spago#get-source-maps-for-my-project)

Forward integration results in strange language metrics

4

If changes are merged (into a PR) they got attributed to the author (of the merge commit) - e.g. I suspect that https://github.com/Azure/iotedge/pull/6114 brings me a lot of Rust-lines, however...

Currently connect-auth is only supporting 2.7.x - but 2.8.x is on the rise (https://github.com/senchalabs/connect/blob/master/History.md).

Hope this is the right way to contribute.

Feature: Support Android ABIs x86 and x86_64

5

Would it be possible to support the mentioned ABIs for android builds? My guess is that this couldn't be to complicated, but my tries to implement this failed - mainly...

Upgrade to Idris 1.3.1.

3

Bumped to lts version and commit of idris 1.3.0 tag.

`printLn $ show 4.2` might lead to `4.2` or `4,2`, depending on the current culture on which the dotnet code is executed. While this is .net default behavior of `.ToString()`,...

Relaxed aeson bounds: Time to crop a new hackage release?

2

The current hackage release points to aeson (>=1.2.1 &&

Since unification is so generic, should 'null' values be omitted?

2

This is more a question that came to my mind will working with a relatively complex json file (following this schema: https://www.eclipse.org/unide/specification/v3/process-message/#messageDetail) E.g. consider a simple example json like: ```...

Show local timezone instead of UTC?

6

Should co-log always use UTC as time zone output? Personally I'm unsure what is the "correct" behaviour, so I started this experiment to use the local time zone as an...