https://github.com/oleks/mrk-idris

MRK — A file format for marking student work
https://github.com/oleks/mrk-idris

Last synced: 7 days ago
JSON representation

MRK — A file format for marking student work

• Host: GitHub
• URL: https://github.com/oleks/mrk-idris
• Owner: oleks
• Created: 2016-07-30T10:33:15.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2017-01-09T18:34:52.000Z (almost 8 years ago)
• Last Synced: 2024-10-09T23:10:02.904Z (28 days ago)
• Language: Idris
• Homepage:
• Size: 25.4 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project