https://github.com/bamboo/idrisunityplayground
Experiments in Idris / Unity integration.
https://github.com/bamboo/idrisunityplayground
idris playground unity
Last synced: about 1 year ago
JSON representation
Experiments in Idris / Unity integration.
- Host: GitHub
- URL: https://github.com/bamboo/idrisunityplayground
- Owner: bamboo
- Created: 2015-09-21T01:05:05.000Z (almost 11 years ago)
- Default Branch: master
- Last Pushed: 2016-09-26T01:51:10.000Z (over 9 years ago)
- Last Synced: 2023-03-11T02:35:00.168Z (over 3 years ago)
- Topics: idris, playground, unity
- Language: Idris
- Size: 406 KB
- Stars: 50
- Watchers: 3
- Forks: 2
- Open Issues: 0