Code

Making SN an arrow: Further ideas#263

Code

Draft

turion wants to merge 25 commits intomasterturion/rhine:masterfrom dev_sn_arrow_ideasturion/rhine:dev_sn_arrow_ideasCopy head branch name to clipboard

+634-87

Commits

Commits on Jan 26, 2024

• WIP

  turion

  committed
  53217ae

  Copy full SHA for 53217ae

• WIP

  turion

  committed
  d29a747

  Copy full SHA for d29a747

• Test on ball example

  turion

  committed
  7543f29

  Copy full SHA for 7543f29

• Introduce position in heterogeneous tuple

  turion

  committed
  4302246

  Copy full SHA for 4302246

• FIXME

  turion

  committed
  0b2fa68

  Copy full SHA for 0b2fa68

• Output GHC errors in reverse

  turion

  committed
  316836e

  Copy full SHA for 316836e

• Use new syntax in bayes & ball, further simplifications

  turion

  committed
  5e534e0

  Copy full SHA for 5e534e0

• Make heterogeneous things more generic

  turion

  committed
  9b1ba5d

  Copy full SHA for 9b1ba5d

• Remove unneeded fixme

  turion

  committed
  a0ea1ab

  Copy full SHA for a0ea1ab

• FIXUP typo

  turion

  committed
  68d4469

  Copy full SHA for 68d4469

• FIXUP Even more generic

  turion

  committed
  17e49f3

  Copy full SHA for 17e49f3

• FIXUP rename

  turion

  committed
  8fae5ca

  Copy full SHA for 8fae5ca

• WIP simplfiy Clocks

  turion

  committed
  5e3ec63

  Copy full SHA for 5e3ec63

• Use generics-sop

  turion

  committed
  d710c84

  Copy full SHA for d710c84

• FIXUP

  turion

  committed
  42068af

  Copy full SHA for 42068af

• WIP

  turion

  committed
  e2735d2

  Copy full SHA for e2735d2

• WIP, refactor random walk 1

  turion

  committed
  f3cc348

  Copy full SHA for f3cc348

• Fix RandomWalk, small fixes, Util

  turion

  committed
  ebcb538

  Copy full SHA for ebcb538

• Fix Ball example

  turion

  committed
  0edb593

  Copy full SHA for 0edb593

• Formatter and Rhine.feedback

  turion

  committed
  c83cb87

  Copy full SHA for c83cb87

• Remove unneeded function

  turion

  committed
  2b7a688

  Copy full SHA for 2b7a688

• Tags for clocks

  turion

  committed
  5a4c7a6

  Copy full SHA for 5a4c7a6

• WIP erase one clock

  turion

  committed
  6d35801

  Copy full SHA for 6d35801

• CHERRY try to translate between clock and clocks ti

  turion

  committed
  4368b89

  Copy full SHA for 4368b89

• CHERRY erase SN in step to Rhine, but Rhine still isn't an Arrow

  turion

  committed
  aaefeae

  Copy full SHA for aaefeae