GitHub repository: webyrd/normalization-by-evaluation
Primary language: Scheme
Description: Normalization-by-evaluation in miniKanren