idris-pfds

(★ 11)

Purely functional data structures in Idris

idris-pfds 최신버젼 다운로드

최종 버전 다운로드 (.zip)
// repository documentation