https://github.com/jmid/sm2-tes21
'Functional Programming and Property-Based Testing' at SDU, Spring 2021
https://github.com/jmid/sm2-tes21
Last synced: 6 months ago
JSON representation
'Functional Programming and Property-Based Testing' at SDU, Spring 2021
- Host: GitHub
- URL: https://github.com/jmid/sm2-tes21
- Owner: jmid
- Created: 2021-07-16T15:55:58.000Z (over 4 years ago)
- Default Branch: main
- Last Pushed: 2021-07-16T22:02:33.000Z (over 4 years ago)
- Last Synced: 2024-03-15T19:14:26.705Z (almost 2 years ago)
- Language: OCaml
- Homepage: https://janmidtgaard.dk/quickcheck/
- Size: 49.8 KB
- Stars: 5
- Watchers: 2
- Forks: 2
- Open Issues: 0