Rocq uchun syntax highlighting ham qo'shish kerak.
Agda sal support qilinyabti ammo rocq shunaqa axvol.
Post #4314
474
- Sep 28, 2026mongodb cooked, ceosi survoribti metaga. va stock choq -16% xozir adashmasm 20%gacha tushi…
- Sep 26, 2026Masalan hamma cho'qqini zabt etishni istaydi, buning uchun borini berishga xarakat qiladi.…
- Sep 26, 2026Kuzatuvlarim davomida shuni tushundimki soft/hard skills kabi mavzular ajratilishi birmunc…
- Sep 24, 2026balanced
- Sep 23, 2026Yaqinda bo’lgan safarda tog’rda balandlikdan sakrab sirg'anib kettim. Hech qanday jiddiy j…
- Sep 23, 2026Leetcode - leetcode competitive programming platform emas. Masalan codeforces, atcoder kab…