← 피드로
▲ 7점 · 댓글 💬 2개 · 해커뉴스
출처: max-amb.github.io · https://max-amb.github.io/blog/your_type_checker_may_be_wrong/
Type checker may be wrong – Lean and the Curry-Howard correspondence
작성자
카테고리:
작성자
카테고리:
▲ 7점 · 댓글 💬 2개 · 해커뉴스
답글 남기기
댓글을 달기 위해서는 로그인해야합니다.