GitHub - kwxm/plfa.github.io: Introduction to programming language theory in Agda.

kwxm / plfa.github.io Public

forked from plfa/plfa.github.io

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Introduction to programming language theory in Agda.

plfa.github.io

CC-BY-4.0 license

0 stars 318 forks Branches Tags Activity

Notifications

About

Introduction to programming language theory in Agda.

plfa.github.io

CC-BY-4.0 license

Report repository

Releases

No releases published

Packages

No packages published

Languages

Agda 58.5%
Coq 39.5%
CSS 1.0%
HTML 0.4%
Ruby 0.3%
Makefile 0.2%
Haskell 0.1%