💾 Archived View for gemlog.blue › users › jiaming › 1611684529.gmi captured on 2021-12-04 at 18:04:22. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
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