https://github.com/michaelforney/fm
FM-Net implementation (https://docs.formality-lang.org/en/latest/theory/Formality-Net.html)
https://github.com/michaelforney/fm
Last synced: 11 months ago
JSON representation
FM-Net implementation (https://docs.formality-lang.org/en/latest/theory/Formality-Net.html)
- Host: GitHub
- URL: https://github.com/michaelforney/fm
- Owner: michaelforney
- License: isc
- Created: 2019-09-15T05:11:04.000Z (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2019-09-15T07:03:48.000Z (almost 7 years ago)
- Last Synced: 2025-05-21T11:11:22.302Z (about 1 year ago)
- Language: C
- Size: 20.5 KB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- License: LICENSE