Documentation fixes#804

Merged

LaurentRDC merged 3 commits into

documentation-fixes-580

Apr 27, 2026

Commits on Apr 27, 2026

Added mention of `NoMonorphismRestriction` in tutorial2
LaurentRDC
committed
Fixed counting NULL rows in `shippingInformationByUser`
LaurentRDC
committed
Fixed an issue where `isJust_` would return False for a table resulting of a left Join, which by definition has nullable columns
LaurentRDC
committed