Code

Pettersson#131

Code

Merged

billhails merged 14 commits intomainbillhails/CEKF:mainfrom petterssonbillhails/CEKF:petterssonCopy head branch name to clipboardDec 1, 2024

+1,337-562

Commits

Commits on Nov 16, 2024

• attempt to write the tpmc in F-Natural

  billhails

  committed
  6822655

Commits on Nov 17, 2024

• calculate free variables

  billhails

  committed
  f0fdb7f

• try to stick to 80 char line limit

  billhails

  committed
  0250b30

• tuples

  billhails

  committed
  d571b50

Commits on Nov 20, 2024

• dedup arcs

  billhails

  committed
  98d1394

Commits on Nov 22, 2024

• pettersson 92 almost complete

  billhails

  committed
  9095f51

Commits on Nov 23, 2024

• minor improvements

  billhails

  committed
  8b4f65f

• added composition operator "of"

  billhails

  committed
  d6f0200

Commits on Nov 27, 2024

• support aliasing and comparison

  billhails

  committed
  165fd0c

Commits on Nov 28, 2024

• pretty printing output

  billhails

  committed
  2d8d458

Commits on Dec 1, 2024

• pratt underway, but found a bug

  billhails

  committed
  d8b3243

• removed unused xor and not primitives

  billhails

  committed
  edccc34

• rename lambda list to sequence

  billhails

  committed
  7b36055

• rename LamList to LamArgs

  billhails

  committed
  c22c631