zaine/org_backend
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
Files
d98baea05c11475c3f8b9dca8a581d9b983cd4ab
org_backend/20250120111047-afp_week1.org

285 B
Raw Blame History

afp_week1

<2025-01-20 Mon> : afp_lab_1

  • Installing Agda

<2025-01-21 Tue> : afp_lec_1

Reference in New Issue View Git Blame Copy Permalink