반응형
반응형
'Computer Language' 카테고리의 다른 글
| OCaml에 대하여 (About OCaml) (0) | 2024.12.26 |
|---|---|
| Datalog 개요 및 예제 (0) | 2024.12.16 |
| 코드 스니펫 (Code Snippet) 도구 (0) | 2024.12.06 |
| 형식 시스템(Type System)의 이론과 실무 활용 (1) | 2024.11.21 |
| Coq 언어 (0) | 2024.11.21 |