[대회] 이드리스 leftist tree

[다믜(damhiya)]

https://github.com/damhiya/dc-github-ps/blob/master/PersistentHeap/Idris/Data/HBLT/Set.idr

idris로도 대회 내고 싶어서 급하게 냄 ㅋㅋㅋ

근데 totality checker 통과 못했어
왼쪽트리가 우선인 경우만 있으면 통과하는데 오른쪽 케이스를 넣으면 실패함 ㅋㅋㅋㅋ

통과하는게 가능한지조차 모르겠다.

진짜 답없는게 idris 파서랑 에러메시지가 이상해서 에러 잡는게 한숨나온다 진짜 ㅋㅋㅋㅋ