Ewout Prangsma

Results 44 comments of Ewout Prangsma

We'll fix this. The proper link is https://github.com/AljabrIO/AljabrIO

My mistake, sorry. The repo is indeed private. The link will be removed.

See https://github.com/kocircuit/kocircuit/blob/master/lessons/2-formulas/3-invocation.md#default-sequence-type-arguments

@rogpeppe I understand the issue you raise, we should clarify that. For now, consider monadic, default & unnamed as being the same thing. That is, for all normal arguments, you...

Depending on the settings of your docker server process, it may leave behind containers when restarting (in exited state). Please do the following: Run `docker ps -a` and copy the...

No worries. I'll leave the issue open under a new name. We should investigate if we can solve problems like this automatically.

@Simran-B Please add the logs of ALL starters

@Simran-B can you explain exactly what you did to "we took down the first node"

In cases like this, please provide ALL starter logs.

Currently the starter does not play well when it comes to removing a node. We're currently working on (and expect to release soon) an update that will enable you to...