GitHub repository: Atunez/NTLC
Primary language: Agda
Created: 2021-02-25T02:39:33Z
Description: Nested Type Rep. for Lambda Calculus