Commits

Branch selector

 metarocq-1.5

User selector

All users

All time

Commit History

Commits on Mar 16, 2026

• Port to MetaRocq 1.5.1

  mattam82

  committed
  b248437

  Copy full SHA for b248437

Commits on Dec 13, 2024

• Create README.md

  MevenBertrand

  authored
  ea86ad4

  Copy full SHA for ea86ad4

Commits on Jan 14, 2024

• Sample solution file

  TheoWinterhalter

  committed
  88e1c04

  Copy full SHA for 88e1c04

• Add intro slides

  TheoWinterhalter

  committed
  ff41e4a

  Copy full SHA for ff41e4a

• adding my slides

  MevenBertrand

  committed
  8f54acc

  Copy full SHA for 8f54acc

Commits on Jan 13, 2024

• Precision in exercises

  TheoWinterhalter

  committed
  db50056

  Copy full SHA for db50056

• Add Mpower def to exercises

  TheoWinterhalter

  committed
  ffce6d1

  Copy full SHA for ffce6d1

• More tests

  TheoWinterhalter

  committed
  18946e0

  Copy full SHA for 18946e0

• Move instructions earlier

  TheoWinterhalter

  committed
  6e22b67

  Copy full SHA for 6e22b67

• Propose make too

  TheoWinterhalter

  committed
  61d1287

  Copy full SHA for 61d1287

• Layout

  TheoWinterhalter

  committed
  10e5c4b

  Copy full SHA for 10e5c4b

• Import List

  TheoWinterhalter

  committed
  570dee1

  Copy full SHA for 570dee1

• Use Export in Prelude so it works with Import

  TheoWinterhalter

  committed
  191ce93

  Copy full SHA for 191ce93

• Add Makefile

  TheoWinterhalter

  committed
  0c1e3f1

  Copy full SHA for 0c1e3f1

• add something about template monad

  yforster

  committed
  cfc7246

  Copy full SHA for cfc7246

• Files for POPL 24 tutorial

  yforster

  committed
  94e92fc

  Copy full SHA for 94e92fc

• Initial commit

  yforster

  authored
  0765005

  Copy full SHA for 0765005