Are you happy with your logging solution? Would you help us out by taking a 30-second survey? Click here


Learn you an Agda (and achieve enlightenment)

Subscribe to updates I use learn-you-an-agda

Statistics on learn-you-an-agda

Number of watchers on Github 287
Number of open issues 6
Average time to close an issue 11 months
Main language Agda
Average time to merge a PR over 1 year
Open pull requests 2+
Closed pull requests 5+
Last commit over 4 years ago
Repo Created over 9 years ago
Repo Last Updated almost 2 years ago
Size 9.12 MB
Homepage http://learnyouan...
Organization / Authorliamoc
Page Updated
Do you use learn-you-an-agda? Leave a review!
View open issues (6)
View learn-you-an-agda activity
View on github
Fresh, new opensource launches 🚀🚀🚀
Trendy new open source projects in your inbox! View examples

Subscribe to our mailing list

Evaluating learn-you-an-agda for your project? Score Explanation
Commits Score (?)
Issues & PR Score (?)

Learn You An Agda (and achieve enlightenment)

This is a work in progress tutorial for Agda. The markdown files are not meant to be consumed by GitHub.

learn-you-an-agda open issues Ask a question     (View All Issues)
  • over 3 years Agda 2.5.1 can't parse _+_
  • almost 5 years proof2' doesn't pass type checking
  • about 5 years Set up donations for the project
  • over 6 years The website is unavailable
learn-you-an-agda open pull requests (View All Pulls)
  • grammar fix: "three of reasons" -> "three reasons"
  • Minor change.
learn-you-an-agda list of languages used
Other projects in Agda