Valera Rozuvan

Please see [mathjs](https://github.com/josdejong/mathjs) issue https://github.com/josdejong/mathjs/issues/694 . We need to work out a strategy how to enable arbitrary precision operations on complex numbers for libraries that are using [bignumber.js](https://github.com/MikeMcl/bignumber.js/) library.

Is mongo-connector project dead?

2

Hi @llvtt , @AayushU , @stedile , @ShaneHarvey . Since you are the most active contributors of this project, I want to being you guys to this discussion. I have...

Some weird crash in extreme cases

11

I am getting the following error is some cases. I haven't been able to pin point exactly when. ``` (node:21139) UnhandledPromiseRejectionWarning: Error [ERR_STREAM_DESTROYED]: Cannot call write after a stream was...

module Welcome from the tutorial is not in source tree

1

When you access the tutorial found at [https://www.fstar-lang.org/tutorial/](https://www.fstar-lang.org/tutorial/), the first module you see in the right pane is `module Welcome`. However, the text: ``` module Welcome (* This interface allows...