우연히 Idris라는 언어를 알게 되었는데, 이 언어가 dependent type을 사용한다고 하네요.
그런데 계속 자료를 찾아봐도 dependnet type이 뭔지 아직도 잘 모르겠습니다.
혹시 아신다면 알려주실수 있으신가요? 또 dependent type에 관한 좋은 자료가 있나요?
