내부적으로는
- dc official App
[%] 근데 Idris도 val : Type 0 : Type 1 : ...네
기괴공학도(mecheng98)
2019-10-16 15:27
추천 0
댓글 1
다른 게시글
-
형님들 기술 얘기는 아니고 취업 관련 질문임... [2][질문] 익명(203.242) | 19.10.16추천 0
-
모나드 말고 OOP도 어려워보이게 말할 수 있다 [2][%] 다믜(damhiya) | 19.10.16추천 0
-
온라인 IDE repl.it [4][%] 데자와민트..(chlwnsgud7) | 19.10.16추천 0
-
이산수학, 선대 기초다지기 용 책 추천좀요 [16][%] 익명(117.111) | 19.10.15추천 0
-
Rust 디시콘 만들고싶다 [6][%] ㅇㄹ(rerereq) | 19.10.15추천 0
-
Rust Box vs C++ unique_ptr[%] ㅇㄹ(rerereq) | 19.10.15추천 0
-
Idris 이거다 [8][%] 기괴공학도(mecheng98) | 19.10.15추천 0
-
하스켈 배울때 특징[%] 다믜(damhiya) | 19.10.15추천 0
-
내가 하스켈 배웠을때 경험 [1][%] ㅇㄹ(rerereq) | 19.10.15추천 1
-
하스켈 놔줄 때가 됐나 [10][%] 기괴공학도(mecheng98) | 19.10.15추천 2
엥 정말? 처음 알았네 ㄷㄷㄷㄷ