https://github.com/noredink/haskell-verify-examples

WIP
https://github.com/noredink/haskell-verify-examples

Last synced: about 2 months ago
JSON representation

WIP

• Host: GitHub
• URL: https://github.com/noredink/haskell-verify-examples
• Owner: NoRedInk
• License: bsd-3-clause
• Created: 2021-08-18T11:05:17.000Z (over 3 years ago)
• Default Branch: trunk
• Last Pushed: 2023-05-18T14:59:16.000Z (over 1 year ago)
• Last Synced: 2024-05-08T23:24:35.548Z (8 months ago)
• Language: Haskell
• Size: 169 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 11

Awesome Lists containing this project