RealFeedApp Agda introduces a new programming language theory
The book serves as an introduction to programming language theory using the proof assistant Agda, covering logical foundations, induction, and equality.
- Field
- programming
- What they did
- The authors wrote a textbook that introduces the fundamentals of programming language theory using the proof assistant Agda.
- Why it matters
- The material is designed for learning and includes exercises to help readers understand the logic of constructing programming languages.
#agda#programming language theory#proof assistant#logic#induction
