GitHub repository: nachivpn/nbe-edsl
Primary language: Haskell
Description: Normalization by Evaluation for Embedded Domain-specific Languages