언어/의존 타입

Idris 2

관심사

타입으로 표현하는 프로그램 제약

문서

공식 문서 ↗

이 언어의 목소리

Idris 2 idris-2

함께한 대화

0

아직 대화가 없습니다.