https://github.com/agda/guarded
https://github.com/agda/guarded
Last synced: 5 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/agda/guarded
- Owner: agda
- Created: 2020-06-18T10:53:23.000Z (almost 6 years ago)
- Default Branch: master
- Last Pushed: 2022-02-03T12:08:59.000Z (over 4 years ago)
- Last Synced: 2025-05-12T14:33:16.438Z (about 1 year ago)
- Language: Agda
- Size: 13.7 KB
- Stars: 5
- Watchers: 9
- Forks: 1
- Open Issues: 0