From 94ac3167b9556846b1eb5d9b752ae2c0c1e37cad Mon Sep 17 00:00:00 2001 From: Yiyun Liu Date: Tue, 29 Apr 2025 18:18:12 -0400 Subject: [PATCH] missing space --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 9b03a45..5e617a5 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,6 @@ # Kripke-style untyped NbE in racket [![status-badge](https://woodpecker.electriclam.com/api/badges/4/status.svg)](https://woodpecker.electriclam.com/repos/4) + An implementation of normalization by evaluation loosely based on [A Denotational Account of Untyped Normalization by Evaluation](https://www.brics.dk/RS/03/40/BRICS-RS-03-40.pdf) and