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