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)))
Normalization by Evaluation for Embedded Domain-specific Languages
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)))
Normalization by Evaluation for Embedded Domain-specific Languages
BSD 3-Clause "New" or "Revised" License