https://github.com/mattdean1/functional-programming

Exercises in Agda
https://github.com/mattdean1/functional-programming

agda functional-programming proofs

Last synced: 4 days ago
JSON representation

Exercises in Agda

• Host: GitHub
• URL: https://github.com/mattdean1/functional-programming
• Owner: mattdean1
• Created: 2018-01-16T14:25:15.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2018-12-24T20:40:06.000Z (almost 6 years ago)
• Last Synced: 2023-08-10T17:14:39.202Z (over 1 year ago)
• Topics: agda, functional-programming, proofs
• Language: Agda
• Homepage:
• Size: 63.5 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project