GitHub repository: sidtone415/Lambda-to-Pi-Encoder
Primary language: HTML
Created: 2016-03-03T18:49:53Z
Description: simple javascript code trying to encode lambda to pi calculus for COEN 385