[%] 컴파일타임 보려고 매크로 보는데

[Go자(megyo)]

패턴매칭이나 리커전 트릭은 알겠는데

대소비교 less then , 이 이해가 안가네

결국 그것도 반복 뺄셈 같던데

부스트는 소스해석이 안된다 ㅠ

빠른 포기데스

- dc official App

[다믜(damhiya)]

forall n. 0 < S n 하고 forall m n. m < n -> S m < S n 을 코드로 바꾼거