Code

Dlesbre/pldi25 nutshell#17

Code

Open

dlesbre wants to merge 10 commits intomaincodex-semantics-library/codex-semantics-library.github.io:mainfrom

dlesbre/pldi25-nutshellcodex-semantics-library/codex-semantics-library.github.io:dlesbre/pldi25-nutshellCopy head branch name to clipboard

Commits

Commits on Apr 18, 2025

• PLDI 25 files and metadata

  dlesbre

  committed
  a082abb

  Copy full SHA for a082abb

Commits on Apr 24, 2025

• katex math

  dlesbre

  committed
  abfffc8

  Copy full SHA for abfffc8

• typo

  dlesbre

  committed
  701b166

  Copy full SHA for 701b166

• keywords

  dlesbre

  committed
  53647c6

  Copy full SHA for 53647c6

• gemfile

  dlesbre

  committed
  53fc220

  Copy full SHA for 53fc220

• WIP on nutshell

  dlesbre

  committed
  e299c8d

  Copy full SHA for e299c8d

• Finish nutshell

  dlesbre

  committed
  b5cd30d

  Copy full SHA for b5cd30d

• revert activesupport dep

  dlesbre

  committed
  f596665

  Copy full SHA for f596665

• add dep

  dlesbre

  committed
  c1f76c9

  Copy full SHA for c1f76c9

Commits on Apr 25, 2025

• Comments and examples

  dlesbre

  committed
  d7890e3

  Copy full SHA for d7890e3