생업 때문에 깜빡 잊고 있다가 간만에 왔는데 생각보다 활성화가 되어서 흐뭇하군요.

함수형 프로그래밍이나 HOL에 대한 이야기가 나와서 반갑기도 하고, 좋은 사이트들도 여러 링크가 있네요.


공지도 업데이트하고 필요하면 사이트로 제작해서 올리겠습니다.

최근 웹언어에 관심이 있어 mathjax 같은 라이브러리를 사용하여 logic tree까지 그리는 것도 봤는데

될 수 있으면 여러분들이 쓰는 글을 보기 쉽게 정리하고 싶습니다.