https://github.com/mlabs-haskell/spec
Design of Specifications
https://github.com/mlabs-haskell/spec
Last synced: 6 months ago
JSON representation
Design of Specifications
- Host: GitHub
- URL: https://github.com/mlabs-haskell/spec
- Owner: mlabs-haskell
- Created: 2021-10-07T08:31:56.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2021-10-07T10:17:31.000Z (over 4 years ago)
- Last Synced: 2025-01-23T01:19:51.037Z (over 1 year ago)
- Size: 114 KB
- Stars: 1
- Watchers: 4
- Forks: 1
- Open Issues: 0