블록체인쪽 코더인데
하스켈 프로그래밍 하다가
논리학 접하게 되었고
여기 흘러옴요 ㅎㅇ

양상논리 이런거 좀 파긴 했는데
제대로 배운건 아니라 배워야함

글 쓰고나서 글 쭉 봤는데
증명 보조기나 타입 이론 얘기도 나오네요

자유시장경제 + 실력주의 + 기회의 평등 = 유토피아