수학 증명언어 Agda 입문을 위한 가이드.
이 입문 가이드는 Agda라는 언어를 곧바로 쉽게 쓸 수 있게끔 하는 것이 목표이다. 따라서 복잡한 이론적 배경에 대해 다루는 대신, 익숙한 대상들로 구성된 예제들을 많이 다루는 방향으로 진행된다. 글을 읽다가 의문이 드는 것이 있다면 Agda 공식 사이트나 다른 안내서를 참고하는 것이 도움이 될 수 있다.
-
Notifications
You must be signed in to change notification settings - Fork 0
Lunuy/agda-introduction-korean
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
수학 증명언어 Agda 입문
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published