LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Shell

types-and-programming-languages-errata

Combined errata for Benjamin C. Pierce's book Types and Programming Languages

ShellEmerging

Stars

—

Forks

—

Contributors

1

Last push

1mo ago

Recent commits

Latest commits.

Minor update to my naive changes
de2c8bdGary Klimowicz1mo ago
Add 2024 published version of combined errata
3624c42Gary Klimowicz21mo ago
Ignore Mac .DS_Store files
2e5b212Gary Klimowicz21mo ago
Checkpoint files used for auditing TAPL errata
5e7e7ddGary Klimowicz25mo ago
Make more changes for conststent line naming
5707ccfGary Klimowicz25mo ago

One solution was from pierce-2; plus cosmetic changes

96fa9e7Gary Klimowicz25mo ago

Merge branch 'main' into audit

5b82465Gary Klimowicz25mo ago

Update cross-refs to add missing errata

d976781Gary Klimowicz25mo ago

Top contributors

Builders behind this project.