This is a work in progress tutorial for Agda. The markdown files are not meant to be consumed by GitHub.
This repository has been archived by the owner on May 18, 2021. It is now read-only.
Learn you an Agda (and achieve enlightenment)
License
liamoc/learn-you-an-agda
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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