Code

First tentative at a coq backed#556

Code

Draft

adelaett wants to merge 9 commits intomasterCatalaLang/catala:masterfrom coq_backendCatalaLang/catala:coq_backendCopy head branch name to clipboard

+557-3

Commits

Commits on Jan 8, 2024

• import ocaml code

  adelaett

  committed
  67d73ff

  Copy full SHA for 67d73ff

• adding the coq backend to the driver

  adelaett

  committed
  d9c2ec8

  Copy full SHA for d9c2ec8

• modification to produce code that looks like catala's ast in the coq development

  adelaett

  committed
  1395c97

  Copy full SHA for 1395c97

• coq printer: struct are now more transparent

  Show description for 079b36e
  adelaett

  committed
  079b36e

  Copy full SHA for 079b36e

• typo correction

  adelaett

  committed
  ec21665

  Copy full SHA for ec21665

• struct type are now unpacked in the coq backend

  adelaett

  committed
  f941310

  Copy full SHA for f941310

• parenthis in coq

  adelaett

  committed
  65474bd

  Copy full SHA for 65474bd

• rebase

  adelaett

  committed
  da1a6a7

  Copy full SHA for da1a6a7

• formatting

  adelaett

  committed
  83d6f3b

  Copy full SHA for 83d6f3b