:PROPERTIES:
:ID:       6c272430-aff5-468b-90d3-5ff3a96152cf
:END:
#+title: afp_week1
#+filetags: :uni:index:

* <2025-01-20 Mon> : [[id:f6c9e1a7-8465-4cef-9481-2b803d0c43d4][afp_lab_1]]  
- Installing Agda

* <2025-01-21 Tue> : [[id:3aef24fd-b220-4408-aa1e-c3538d661b62][afp_lec_1]]