GitHub repository: larrytheliquid/plclub-expless
Primary language: Agda
Created: 2015-06-03T00:45:31Z
Description: PL Club talk on Expressionless Weak-Head Normal Forms