Code

Back merge#265

Code

Closed

HuStmpHrrr wants to merge 6 commits intoext/prop-eqBeluga-lang/McTT:ext/prop-eqfrom mainBeluga-lang/McTT:mainCopy head branch name to clipboard

Commits

Commits on Oct 29, 2024

• Update README

  Ailrun

  committed
  06d53fb

  Copy full SHA for 06d53fb

Commits on Nov 8, 2024

• Rename McLTT in README

  Ailrun

  authored
  8835b73

  Copy full SHA for 8835b73

Commits on Nov 9, 2024

• Update README.md (#261)

  pientka

  authored
  9566894

  Copy full SHA for 9566894

Commits on Nov 16, 2024

• Change McLTT into McTT (#262)

  Ailrun

  authored
  7d87039

  Copy full SHA for 7d87039

• Fix homepage title (#263)

  Ailrun

  authored
  2f662c9

  Copy full SHA for 2f662c9

• Update Makefile (#264)

  Ailrun

  authored
  c33ec07

  Copy full SHA for c33ec07