natural deduction을 검증하는 λ-Prolog 코드랑,

Haskell로 λ-Prolog를 실행하는 인터프리터 짜서,

이광근 교수님께 보여드렸더니 긍정적으로 답변해 주심.

열심인 모습 보기 좋다고, 수학 컴퓨터 부전공하고, 대학원 컴퓨터 쪽으로 가라고 하셨음.

역시 노력해서 그 결과( https://github.com/KiJeong-Lim/aladin )를 보여야 해.

아무튼 내가 국산 증명보조기 꼭 만들어 볼 테니까, 님들도 다들 성공하셈.