文件列表:

src/
fixity.agda

# Programming Language Foundations in Agda ## PLFA A programming language foundations course has been formalized in the dependently typed (functional) programming language Agda. Traditionally this would've been done in Coq. Here is a link to the book: https://plfa.inf.ed.ac.uk/ This repository is just scratchwork as I work through the chapters. Not many additional exercises are attempted. Mostly just (explicit) variations of the various propositions presented in the main text of each chapter (there are some stretch exercises attempted).

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：