https://github.com/yurrriq/vfp-in-agda

:book: Verified Functional Programming in Agda
https://github.com/yurrriq/vfp-in-agda

agda book functional-programming learning theorem-proving verified-programming

Last synced: about 1 month ago
JSON representation

:book: Verified Functional Programming in Agda

• Host: GitHub
• URL: https://github.com/yurrriq/vfp-in-agda
• Owner: yurrriq
• Created: 2018-01-01T09:34:09.000Z (almost 7 years ago)
• Default Branch: develop
• Last Pushed: 2018-01-01T09:48:47.000Z (almost 7 years ago)
• Last Synced: 2023-03-29T04:48:35.793Z (over 1 year ago)
• Topics: agda, book, functional-programming, learning, theorem-proving, verified-programming
• Language: Agda
• Size: 1.95 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project