nbe-edsl Work in progress! This repo contains the code accompanying the paper Practical Normalization by Evaluation for EDSLs, which is to be published at Haskell '21. In ghci, load Demo.hs and try: *Demo> norm cube (\x0. (x0 * (x0 * x0)))