GitHub repository: shubhamkumar13/agda-plfa
Primary language: Agda
Created: 2022-10-18T21:36:41Z
Description: my journey to learn plfa in agda