Codestin Search App

plfa / plfa.github.io Public

An introduction to programming language theory in Agda

plfa.github.io

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2,553 Commits
19.08		19.08
20.07		20.07
2019		2019
2020		2020
2021/08/24/plfa-as-pdf-and-epub		2021/08/24/plfa-as-pdf-and-epub
2022/08/24/release-notes-v22-08		2022/08/24/release-notes-v22-08
2023/02/26/migration-to-agda-2-6-3		2023/02/26/migration-to-agda-2-6-3
2024/09/05/migration-to-agda-2-7-0		2024/09/05/migration-to-agda-2-7-0
22.08		22.08
Acknowledgements		Acknowledgements
Adequacy		Adequacy
Announcements		Announcements
BigStep		BigStep
Bisimulation		Bisimulation
Citing		Citing
Compositional		Compositional
Confluence		Confluence
Connectives		Connectives
ContextualEquivalence		ContextualEquivalence
Contributing		Contributing
DeBruijn		DeBruijn
Decidable		Decidable
Dedication		Dedication
Denotational		Denotational
Equality		Equality
Fonts		Fonts
GettingStarted		GettingStarted
Induction		Induction
Inference		Inference
Isomorphism		Isomorphism
Lambda		Lambda
Lists		Lists
More		More
Naturals		Naturals
Negation		Negation
Notes		Notes
Preface		Preface
Properties		Properties
Quantifiers		Quantifiers
Relations		Relations
Soundness		Soundness
StyleGuide		StyleGuide
Substitution		Substitution
TSPL		TSPL
Untyped		Untyped
assets		assets
404.html		404.html
index.html		index.html
plfa.epub		plfa.epub
plfa.html		plfa.html
rss.xml		rss.xml

Provide feedback