하스켈로 1차 논리 코딩해봤는데

[기괴공학도(mecheng98)]

1번:

2번:

1번이 더 예쁘나요? 2번이 더 예쁘나요?

[익명(61.82)]

이거 뭘로 하나요 ㅎ 저도 해보고 싶네요 - dc App

[익명(223.39)]

알못인데 저거 전체가 결국 wff 구문만 정의하는 과정인가요

[기괴공학도(mecheng98)]

넹