https://github.com/stackbuilders/weak-strong
The Weak and the Strong
https://github.com/stackbuilders/weak-strong
Last synced: 10 months ago
JSON representation
The Weak and the Strong
- Host: GitHub
- URL: https://github.com/stackbuilders/weak-strong
- Owner: stackbuilders
- Created: 2014-10-24T16:56:41.000Z (about 11 years ago)
- Default Branch: master
- Last Pushed: 2014-12-07T20:15:52.000Z (about 11 years ago)
- Last Synced: 2025-01-23T04:32:37.079Z (about 1 year ago)
- Language: Agda
- Size: 246 KB
- Stars: 2
- Watchers: 5
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
The Weak and the Strong
=======================
> Let the weak say, I am strong.
Or not.