💾 Archived View for gemlog.blue › users › jiaming › 1611684529.gmi captured on 2023-12-28 at 18:44:20. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-12-04)
-=-=-=-=-=-=-
26/01/2021 (thinga i learned)
- Lean Zulip responds super fast O.o
- Download BM TEXTBOOKS!!!! So simple ugh
- advised to switch to COQ (°€°)
- i really just wonder what nonwesternized malay music was...
- new computability textbook :3