[%] 디펜던트 타입 양자 프로그래밍 언어

[다믜(damhiya)]

http://hackage.haskell.org/package/quipper-language-0.9.0.0/docs/Quipper.html

[익명(121.153)]

ㅇㅅㅇ