[%] 난 수학도라 하스켈을 엄청좋아함

[익명(141.223)]

OCaml이라는 거 처음 알고 시발 이런 멋진 프로그래밍스타일이 있다니? 이랬는데

좀 더 찾아보니까 하스켈이라는 궁극의 언어를 찾아버렸던거임

하스켈은 정말 전설이다..

[다믜(damhiya)]

하스켈 위에 Coq하고 Agda도 있는데 ㅇㅅㅇ - dc App

[익명(141.223)]

형식 증명은 싫어함

[익명(141.223)]

agda는 첨들어보네 찾아봐야지

[다믜(damhiya)]

나제... - dc App

[다믜(damhiya)]

agda도 증명 언어인데 하스켈 문법임. 구현도 하스켈로 만들었고 - dc App

[익명(141.223)]

agda 좋네 시간나면 좀 더 찾아봐야지 ㄱㅅ

[익명(147.46)]

hol4는 머임

[익명(147.46)]

isabelle는 머임

[다믜(damhiya)]

증명 언어가 한두개가 아님 - dc App

[익명(218.232)]

Agda는 튜링완전하지 않잖아 ㅇㅅㅇ