GitHub repository: August-Alm/Lambda-Calculus-by-Linear-HOAS
Primary language: ATS
Created: 2020-06-17T23:11:27Z
Description: An interpreter of lambda calculus in ATS2 that uses a HOAS encoding in linear types.