[%] 전에 agda로 만든 leftist heap 리팩토링 함

[다믜(damhiya)]

https://github.com/damhiya/AgdaHeap/blob/master/Tree/WBLT/Base.agda

accessibility 없이 termination checker 통과하는 방법 찾아서 재작성 함

이제 좀 사람다운 코드가 됐다

글고 ring solver 라고 자명한 증명 자동으로 해주는것도 적용해봄

[익명(39.7)]

와 수학 식 같네 언어가 - dc App

[이 댓글은 게시물 작성자가 삭제하였습니다.]

이 댓글은 게시물 작성자가 삭제하였습니다.

[익명(222.107)]

저런거 볼때마다 궁금한건데 ∀같은건 어케타이핑하는겨

[다믜(damhiya)]

\all 입력하면 자동으로 변환됨