-- Leo's gemini proxy
-- Connecting to gemlog.blue:1965...
-- Connected
-- Sending request
-- Meta line: 20 text/gemini
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
-- Response ended
-- Page fetched on Sun Jun 2 11:56:32 2024