← 상세페이지

제로 비용 POSIX 호환: Lean의 타입 시스템으로 소켓 상태 머신 인코딩하기

endedScore 42026. 3. 25. 오전 2:03 ~ 2026. 3. 25. 오전 2:03

Status Lifecycle

1
New
2
Rising
3
Peak
4
Ended

Timeline

총 문서 수

1

추적 기간

1일

Score

4

최대 doc_count

1