# plfa/plfa.github.io

<https://repo.masters-masters.com/en/repos/plfa/plfa.github.io>

[Home](https://repo.masters-masters.com/en) › [plfa](https://repo.masters-masters.com/en/owners/plfa) › [plfa.github.io](https://repo.masters-masters.com/en/repos/plfa/plfa.github.io)

plfa/plfa.github.io has 1,526 stars on GitHub. Its RepoMasters card: Beta tier. An introduction to programming language theory in Agda Language: Agda.

| Field | Value |
| --- | --- |
| Owner | [plfa](https://repo.masters-masters.com/en/owners/plfa) |
| Stars | 1,526 |
| Forks | 356 |
| Language | [Agda](https://repo.masters-masters.com/en/languages/agda) |
| License | CC-BY-4.0 |
| Created | 2017 |
| Topics | book, proof-assistant, programming-languages |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [plfa/plfa.github.io](https://github.com/plfa/plfa.github.io) |

## Repository

An introduction to programming language theory in Agda

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## Nearby in Agda

- [agda/agda-stdlib · ★ 680 · Agda · Alpha](https://repo.masters-masters.com/en/repos/agda/agda-stdlib)
- [agda/cubical · ★ 572 · Agda · Alpha](https://repo.masters-masters.com/en/repos/agda/cubical)
- [the1lab/1lab · ★ 445 · Agda · Alpha](https://repo.masters-masters.com/en/repos/the1lab/1lab)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.