zaine/org_roam
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
5e983f43d49f92fde08523374a7f3308c574c277
org_roam/Uni/20250120111047-afp_week1.org
Zaine 5e983f43d4
All checks were successful
Build Roam Site / build (push) Successful in 28s
Details
gitea runners 2
2026-05-06 15:42:32 +01:00

284 B
Raw Blame History

AFP Week 1

<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