[%] plwiki 꽤 발전함

[다믜(damhiya)]

https://github.com/plwiki/plwiki.github.io

GitHub - plwiki/plwiki.github.io

https://plwiki.github.io/index.html

PL wiki

수식, 추론 규칙, 가환 그림, biblatex 인용 기능 있음

수식, 추론 규칙은 mathjax로 했고, 가환 그림은 XyJax라고 mathjax 플러그인 넣어뒀음. biblatex 인용은 pandoc 기능

nix로 설정해놔서 "nix만 있으면" 빌드도 간단함

카테고리 기능을 만들어야 하는데 조금 손보면 할 수 있을듯

좀 읽을만한 분량이 있는 문서는 Rust, 단순 타입 λ-계산, 마틴뢰프 타입 이론, 시퀀트 계산, 자연 연역 정도

Rust랑 시퀀트 계산 문서는 다른분이 기여해줌

[익명(39.7)]

완전 초짜가 저거 정독하면 대학원 ㄱㄴ?

[다믜(damhiya)]

그러기엔 아직 문서가 부족해서

[토끼주문(icyselec)]

[익명(doslim)]

깃헙갤에 깃레포 첨부는 매우 귀하네요 - dc App

[eris(moduloun)]

[익명(1.240)]

대수나 산술 대신 계산이란 표현을 썼네 - dc App

[다믜(damhiya)]

산술은 arithmetic 번역어라 별로 고려 안했음. λ calculus는 람다대수로 번역하는게 흔하긴 한데, 의미적으로 별로 말이 안되기도 하고 sequent calculus를 시퀀트 대수라고 번역하지도 않기 때문에 calculus는 일관적으로 '계산'이라고 번역함

[익명(1.240)]