pages tagged plait

RecentChanges

Lecture 5: substitution, lazy evaluation, and de Bruijn indices
Posted Tue 24 Jan 2023 12:00:00 AM

Lecture 4: substitution
Posted Thu 19 Jan 2023 12:00:00 AM

Lecture 3: recursive evaluation
Posted Tue 17 Jan 2023 12:00:00 AM

Lecture 2: parsing
Posted Thu 12 Jan 2023 12:00:00 AM

Lecture 1: Intro / plait
Posted Tue 10 Jan 2023 12:00:00 AM