GitHub repository: ulysses4ever/plfa
Primary language: Agda
Created: 2019-12-04T03:21:29Z
Description: SF-in-AGDA book exercises