Code

Devel#2

Code

Merged

lhdjung merged 9 commits intomasterlhdjung/naidem:masterfrom devellhdjung/naidem:develCopy head branch name to clipboardDec 1, 2023

+597-245

Commits

Commits on Sep 5, 2023

• add median_is_determinate() predicate

  lhdjung

  committed
  a0c8ff4

  Copy full SHA for a0c8ff4

Commits on Nov 30, 2023

• more efficient median_possible_values()

  lhdjung

  committed
  e9a5e14

  Copy full SHA for e9a5e14

Commits on Dec 1, 2023

• add moder-like decrease_na_amount()

  lhdjung

  committed
  eaa631b

  Copy full SHA for eaa631b

• rename na.rm.from options

  lhdjung

  committed
  6ba3546

  Copy full SHA for 6ba3546

• remove median_possible_values()

  Show description for 881fc1c
  lhdjung

  committed
  881fc1c

  Copy full SHA for 881fc1c

• add median_df()

  lhdjung

  committed
  784d2c2

  Copy full SHA for 784d2c2

• update rendered and top-level files

  lhdjung

  committed
  96948af

  Copy full SHA for 96948af

• amend proof

  lhdjung

  committed
  8d69923

  Copy full SHA for 8d69923

• correct NEWS.md

  lhdjung

  committed
  a70cd60

  Copy full SHA for a70cd60