Code

Simple let-bindings#234

Code

Merged

Ailrun merged 8 commits intomainBeluga-lang/McTT:mainfrom dummy-letBeluga-lang/McTT:dummy-letCopy head branch name to clipboardOct 14, 2024

+660-132

Commits

Commits on Sep 10, 2024

• Changed -> to . in recursor

  AG-something

  committed
  18480aa

Commits on Sep 12, 2024

• Added let-binders

  AG-something

  committed
  8550eb9

• Added error messages for bad let-bindings

  AG-something

  committed
  b9559a2

Commits on Oct 1, 2024

• Changed equality symbol to :=

  AG-something

  committed
  79c2d05

Commits on Oct 2, 2024

• Merge branch 'main' into dummy-let

  Ailrun

  authored
  775f7f8

Commits on Oct 11, 2024

• let-binding now works with multiple definitions; added let-binding versions of the big examples (nary and vector); added tests for all the let-binding examples

  Antoine-something

  committed
  4864200

Commits on Oct 13, 2024

• Replaced -> with . in pretty printer

  Antoine-something

  committed
  fe8ac70

Commits on Oct 14, 2024

• Merge branch 'main' into dummy-let

  Ailrun

  authored
  103d676