회사 동료 한명이 이드리스 좋아해서나도 배워보고 싶은데디펜던트 타입 시스템 넘모 어려워서타입 시스템 책 보면서 공부하는중지금 리니어 타입 시스템 까지 봄 - dc official App
내 머리로는 Coq가 한계라...
coq는 디펜던트 타입인데