[%] 람다-프롤로그 만세!!!!!!

[기괴공학도(mecheng98)]

공리꼴이 어떻게 인스턴스화되는지 찾아내는 코드임

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[기괴공학도(mecheng98)]

너무 기쁨 ㅠㅠ

[ㅇㄹ(rerereq)]

[기괴공학도(mecheng98)]

이제 고비 하나만 더 넘으면 됨

[코로모(qscsq1)]

뭐고 이게

[기괴공학도(mecheng98)]

공리꼴을 다룰 수 있는 1차논리 증명보조기를 만드는 데 필요한 기술 중 하나에요

[익명(220.118)]

[기괴공학도(mecheng98)]

[루비(218.147)]

[루비(218.147)]

뭔말인지 하나도 모르겠는데 이런거 하는 사람 진짜 대단한거 같음

[기괴공학도(mecheng98)]

감사합니다

[노이ㄴ(liliilli)]

와 이분 살아있엇네

[기괴공학도(mecheng98)]

ㅎㅎ

[익명(rhetoricofdeath)]

아름답다

[기괴공학도(mecheng98)]

ㄱㅅㄱㅅ

[black7375(220.70)]

멋집니다. 이름처럼 하스켈+프롤로그 같네요

[black7375(220.70)]

coq 같은거 만드는 중이에요?

[기괴공학도(mecheng98)]

Coq처럼 똑똑한 건 못 만들어요 ㅠㅠ

[black7375(220.70)]

그건 수학쪽 전문가들이 머리 맞대고 만드는 거니 ㅠㅠ

[뉴비(61.74)]

포멀 랭귀지