[%] 아이디어가 떠올랐다

[기괴공학도(mecheng98)]

/ Even( zero( ) ).

Even( n ) / Even( succ( succ( n ) ) ).

≪ Even( a )?

≫ a → zero( )

≫ a → succ( succ( a ) )

형식문법처럼 답을 한다면 된다.

[점진적크리스마스해커톤(58.126)]

Even( succ(succ(succ(succ(zero()))))) ? 이러면 뭐라답함

[기괴공학도(mecheng98)]

yes

[점진적크리스마스해커톤(58.126)]

어케이게 yes인걸 암?

[기괴공학도(mecheng98)]

Even( zero( ) )는 1번 줄에 의하여 참이므로 2번 줄에 의하여 Even( succ( succ( zero( ) ) ) )도 참임을 알 수 있음. 다시 2번 줄에 의하여 Even( succ( succ( succ( succ( zero( ) ) ) ) ) )이 참임을 알 수 있음.

[기괴공학도(mecheng98)]

물론 어떻게 구현하는지는 나도 모르겠다.