Code

Add syntactic export to dk#1060

Code

Merged

fblanqui merged 13 commits intoDeducteam:masterDeducteam/lambdapi:masterfrom fblanqui:raw_dkfblanqui/lambdapi:raw_dkCopy head branch name to clipboardMar 1, 2024

+449-96

Commits

Commits on Feb 28, 2024

• add raw_dk export: export after parsing

  fblanqui

  committed
  311102c

  Copy full SHA for 311102c

• Merge remote-tracking branch 'dk/master' into raw_dk

  fblanqui

  committed
  7e73b26

  Copy full SHA for 7e73b26

Commits on Feb 29, 2024

• wip

  fblanqui

  committed
  5388fb1

  Copy full SHA for 5388fb1

• wip

  fblanqui

  committed
  bc1e44d

  Copy full SHA for bc1e44d

• wip

  fblanqui

  committed
  604f94a

  Copy full SHA for 604f94a

• wip

  fblanqui

  committed
  e01d758

  Copy full SHA for e01d758

Commits on Mar 1, 2024

• Merge remote-tracking branch 'dk/master' into raw_dk

  fblanqui

  committed
  32e0576

  Copy full SHA for 32e0576

• wip

  fblanqui

  committed
  bd88e52

  Copy full SHA for bd88e52

• wip

  fblanqui

  committed
  735c436

  Copy full SHA for 735c436

• wip

  fblanqui

  committed
  985f4de

  Copy full SHA for 985f4de

• wip

  fblanqui

  committed
  a65a848

  Copy full SHA for a65a848

• wip

  fblanqui

  committed
  502db8e

  Copy full SHA for 502db8e

• wip

  fblanqui

  committed
  c440c5a

  Copy full SHA for c440c5a