[%] coq 찍먹해보려하는데

[익명(223.39)]

어떻게 배우는게 좋을까

좀 체계적으로 정리된 책이나 웹페이지같은거 있음?

한국어면좋긴한데 아니어도상관없음

설마 범주론부터 배워야하는건 아니겟지..?

[다믜(damhiya)]

https://softwarefoundations.cis.upenn.edu/
여기 1권 배우면 됨. 좀 더 하려면 2, 3권 까진 해볼만 함

[다믜(damhiya)]

카테고리는 알면 좋은것도 있는데 첨엔 몰라도 됨. 모나드도 오히려 하스켈보다 잘 안씀

[익명(223.39)]

감사감사

[익명(223.39)]

설치는 도커이미지 쓰면댐?

[다믜(damhiya)]

그건 안해봐서 모르겠다.. nix로 설치해서. nix도 도커도 안쓰면 opam 이라고 OCaml 패키지 매니저 쓰는게 보통임

[익명(223.39)]