Spring 2022

Fridays @ 1:00–2:00pm in Olek's Zoom

Materials

We are continuing through PLFA. Similar to last semester, we will aim to alternate weeks between interactively reading through a chapter and doing exercises. We hope to have a leader for each exercise session to run through the problems.

Meetings

1/31/22

Attendees: Olek, Artem, Julia, John Li, Andrew

Summary: We read Relations up through the section Reflexivity, and collaboratively did the orderings exercise.

Homework: Review an exercise in Induction to refamiliarize yourself with keybindings. Naturals has a short list of useful keybindings, and the agda-mode doc has a much more in depth list.