GitHub repository: melt-umn/rewriting-lambda-calculus
Primary language: SystemVerilog
Created: 2020-02-18T00:39:18Z
Description: An implementation of the lambda calculus using term rewriting in Silver