https://github.com/abhiroop/agda-experiments

Experiments with Agda
https://github.com/abhiroop/agda-experiments

agda

Last synced: about 1 month ago
JSON representation

Experiments with Agda

• Host: GitHub
• URL: https://github.com/abhiroop/agda-experiments
• Owner: Abhiroop
• Created: 2018-02-15T13:12:00.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2018-02-15T22:24:30.000Z (almost 7 years ago)
• Last Synced: 2023-05-02T18:42:40.786Z (over 1 year ago)
• Topics: agda
• Language: Agda
• Size: 2.93 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project