This is a work in progress tutorial for Agda. The markdown files are not meant to be consumed by GitHub.
forked from liamoc/learn-you-an-agda
-
Notifications
You must be signed in to change notification settings - Fork 0
Learn you an Agda (and achieve enlightenment)
License
Foritus/learn-you-an-agda
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Learn you an Agda (and achieve enlightenment)
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Agda 55.2%
- CSS 23.5%
- HTML 11.2%
- Haskell 10.1%