Skip to content
This repository has been archived by the owner on May 18, 2021. It is now read-only.

Issues: liamoc/learn-you-an-agda

5 Open 6 Closed
5 Open 6 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

agda-mode exists for Atom too
#20 opened Nov 6, 2018 by marnen
Agda 2.5.1 can't parse _+_
#18 opened Oct 25, 2016 by langston-barrett
proof2' doesn't pass type checking
#17 opened Apr 30, 2015 by grouzen
2
Set up donations for the project
#15 opened Jan 11, 2015 by erikkaplun
The website is unavailable
#10 opened Oct 8, 2013 by tian2992
5
ProTip! Mix and match filters to narrow down what you’re looking for.