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