https://semmalgil.github.io/natural_number_game/?world=5&level=7


이 갤러리에서 링크 얻어서 하게 된 퍼즐인데

함수 세계에서 하는 모든게 무슨 의민지 전혀 이해가 안돼요


P, Q, R이 집합이 아니라 타입이고, p : P라고 쓰면 p ∈ P라는 의미지만 h : P -> Q 라고 쓰면 P에서 Q를 향한 함수 h라는 의미라고 하고 뭐 그러는데


그냥 풀기는 기계적으로, 경험적으로 건들다보면 풀리는데 의미자체가 전혀 이해가 안돼요


이거 뭘 읽어봐야 이해되는건가요? 한국어던 영어던 설명만 봐서는 뭘 하고 있는지 전혀 모르겠던데