[%] 메모리 접근마다 수학적으로 증명하는 언어
ㅇㄹ(rerereq)
2020-02-06 00:12
추천 0
댓글 4
다른 게시글
-
근데 ㄹㅇ 여기 아치 쓰는애들 왤케 많이 있냐 [14][%] ㅇㄹ(rerereq) | 20.02.05추천 0
-
nixos 하스켈 쓰기 진짜 좋다 [3][%] 다믜(damhiya) | 20.02.05추천 0
-
spacemacs ㅈㄴ 느린데 커스텀 안하고있는 이유 [2][%] ㅇㄹ(rerereq) | 20.02.05추천 0
-
함수형 언어를 이해해보고 싶습니다. [3][%] 젖은장작(mapodaegyo) | 20.02.05추천 0
-
난 회사에서도 아치리눅스 쓰는데 [3][%] 프갤럼(121.165) | 20.02.05추천 0
-
개발도구 스택은 아치 - i3wm - emacs [28][%] ㅇㄹ(rerereq) | 20.02.05추천 0
-
진짜는 GNOME Builder 쓴다 [2][%] 익명(104.238) | 20.02.05추천 0
-
vim 쓰는놈들은 다 가짜다 [6][%] 익명(223.38) | 20.02.05추천 0
-
PR 받아도 기분이 안 좋은 경우 [12][%] 익명(104.238) | 20.02.05추천 0
-
요즘 elementary OS가 포텐 터지네 [1][%] 익명(104.238) | 20.02.05추천 0
C++ Contracts같은건가
ATS 란 언어도 비슷한 개념인걸로 앎
이름 뭐야 ㅅㅂ;
저세상 네이밍