plfa / plfa.github.io

git clone https://github.com/plfa/plfa.github.io.git

An introduction to programming language theory in Agda

stars, 24h · #51,555

+~0

stars, 7 days · #51,629

+~0

stars, 30 days · #51,767

1.5k

★ total

356

forks · 75 open issues

2026-10-20 · 1,523 ★ 2026-10-21 · 1,523 ★

LanguageAgda

LicenseCC-BY-4.0

Created2017-03-10 (9y ago)

Last pushtoday

OwnerOrganization