https://github.com/quchen/agda-learning

Stuff I’m writing to learn Agda.
https://github.com/quchen/agda-learning

agda

Last synced: about 1 month ago
JSON representation

Stuff I’m writing to learn Agda.

• Host: GitHub
• URL: https://github.com/quchen/agda-learning
• Owner: quchen
• Created: 2017-03-01T15:21:32.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2020-05-26T14:28:42.000Z (over 4 years ago)
• Last Synced: 2024-08-01T00:37:27.852Z (3 months ago)
• Topics: agda
• Language: Agda
• Size: 73.2 KB
• Stars: 9
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project