AndrasKovacs의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
종속 타입 검사 및 구체화를 위한 최소한의 구현
고성능 타입 이론 정교화(elaboration)를 위한 데모
