https://github.com/msvbg/weaving-a-web
Implementation of Hinze and Jeuring's "Weaving a Web"
https://github.com/msvbg/weaving-a-web
Last synced: about 1 year ago
JSON representation
Implementation of Hinze and Jeuring's "Weaving a Web"
- Host: GitHub
- URL: https://github.com/msvbg/weaving-a-web
- Owner: msvbg
- Created: 2019-09-28T20:36:22.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2019-09-28T20:36:40.000Z (over 6 years ago)
- Last Synced: 2025-04-26T08:45:03.382Z (about 1 year ago)
- Language: OCaml
- Size: 1000 Bytes
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0