[%] Agda 어서오고.

[asdf(220.95)]

Agda 헬로 월드 찍어먹어 봤심.  간만에 새 언어 배우니까 재미있구만.

[kubiya(msh01170)]

호곡 폰트 무엇??

[asdf(220.95)]

드.. 드리겠습니다. PT_Mono
https://fonts.google.com/specimen/PT+Mono

[kubiya(msh01170)]

오 PT Mono였군여 ㄱㅅㄱㅅ

[다믜(damhiya)]

헬로월드 ㅇㄷ - dc App

[asdf(220.95)]

붕어빵에 붕어가 없어서 미안. ㅎㅎ

[익명(121.167)]

존나 난시 올거 같은 배경으로 해놓고 하네

[asdf(220.95)]

업로드 후에 해상도 낮아지면서 뿌옇게 나왔는데 실제 내눈엔 아주 편안.