Dan Rosén

grr!!

Rename forall to assertForall?

2

To make it more obvious that it will throw an error if it doesn't hold for "all" values? ```typescript // compare QC.assertForall(QC.nat.replicate(2), ([x,y]) => x+10 > y) // with QC.forall(QC.nat.replicate(2),...

Hackathon?

14

Hej! Will there be a sixten hackathon soon? I could come visit in Oslo. Cheers, Dan

FR: Warn when name starts with prop_ but is not a Property

1

Being accustomed to `Arbitrary` instances I thought a function with type signature like prop_test :: List Int -> Property would trigger from `jackMain`, but the `continue` statement with comment `not...

Point circles look malformed

1

I think the circles look a bit off. Take a look at these (8x zoom):  They are not particularily round and look a bit egg shaped. I have tinkered...

In the API reference on https://traitlets.readthedocs.io/en/stable/api.html the unobserve function is not listed.

The current version is on snabbdom 0.6.3, could this be bumped?

Multiple rerenders when using ipywidgets.Output.append_stdout

2

When you put a widget in a ipywidgets.Output and using append_stdout on the output the widget will be rerendered once per append. _cell 1:_ ```python import anywidget import traitlets import...