https://github.com/icheft/im2012-agda-final-exam-prep
All works belong to Professor Mu, Shin-Cheng.
https://github.com/icheft/im2012-agda-final-exam-prep
Last synced: 5 months ago
JSON representation
All works belong to Professor Mu, Shin-Cheng.
- Host: GitHub
- URL: https://github.com/icheft/im2012-agda-final-exam-prep
- Owner: icheft
- Created: 2021-01-07T06:41:45.000Z (over 5 years ago)
- Default Branch: main
- Last Pushed: 2021-01-07T06:50:13.000Z (over 5 years ago)
- Last Synced: 2025-02-27T05:15:37.286Z (over 1 year ago)
- Language: Agda
- Size: 7.81 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0