zaine/org_roam
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
6e13e90e7db3c20fcc07062e1b0d959eae96efa7
org_roam/20250120111047-afp_week1.org
Zaine Arch 5db24213bd initial
2025-12-14 21:07:46 +00:00

285 B
Executable File
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