일단 재밌기는 함 ㅋㅋㅋㅋ

증명을 formal하게 쓰는거라.. 뭐 쓸모없는 짓일 수도 있지만 흥미로움.


난이도는 확실히 하스켈보다 어려움.. 좀 더 깊게 들어가면 대가리 깨질듯

그리고 하스켈 타입 시스템 + 커리 하워드 동형 같은걸 기본적으로 좀 배우고 시작해야됨


이런거 만드는 사람들은 뇌 구조가 어떻게 되있는건지..