GitHub repository: williamdemeo/ial
Primary language: Agda
Created: 2016-09-26T06:25:20Z
Description: Iowa Agda Library