[%] agda안하고 idris한 이유

[다믜(damhiya)]

agda 공식 권장 에디터가 emacs라서 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ

비 아스키 문자도 쓰는 언어라 에디터 지원 없으면 쓰기 힘든데 emacs몰라서 포기함

[ㅇㄹ(rerereq)]

하스켈 하는데 이맥스는 안함?

[다믜(damhiya)]

vim씀

[black7375(223.62)]

이맥수 좋음 ㅇㅇ - dc App

[다믜(damhiya)]

배우기가 힘들어.. vim도 아직 제대로 못쓰는 터라

[black7375(220.70)]

evil mode라는거 깔면 빔이랑 똑같더라고. 나는 잘 넘어왔음. ㅎㅎ - dc App