From c2faa6b4b6bc95f805467ce0cedc4a1868203f13 Mon Sep 17 00:00:00 2001 From: Yiyun Liu Date: Mon, 5 May 2025 00:46:52 -0400 Subject: [PATCH] Update README --- README.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 16ea495..14c0e91 100644 --- a/README.md +++ b/README.md @@ -11,6 +11,5 @@ gives you β-normal forms. However, you can get a little bit of βη-equivalence by invoking Coquand's algorithm (`η-eq?`) on β-normal forms. -I'm hoping to expand the repository into a benchmark suite where I can -visualize the performance trade-off of type-directed NbE compared to -untyped NbE composed with Coquand's algorithm. +A more efficient version of NbE based on de Bruijn levels (inverted de +bruijn indices) can be found in the `debruijn-levels` branch.